function get_page_width ()
 {if (navigator.appName == "Netscape")
   {return window.innerWidth;}
  else
   {return document.body.offsetWidth;}}