function get_page_height ()
 {if (navigator.appName == "Netscape")
   {return window.innerHeight;}
  else
   {return document.body.offsetHeight;}}