// Returns the height of the web page
  // (could change if new content is added to the page)
  function pageHeight() {
      return document.body.scrollHeight;
  }
  
  // Returns the width of the web page
  function pageWidth() {
      return document.body.scrollWidth;
  }