var divs = document.getElementById("pagebody-header");
console.log("divs")

window.onload = (event) => {
  console.log("page is fully loaded");
};