 <!--

  if (document.NS4)
  {
   origWidth = innerWidth;
   origHeight = innerHeight;
  }
  function reDo()
  {
   if (innerWidth != origWidth || innerHeight != origHeight)  location.reload();
  }
  if (document.NS4) onresize = reDo;

//-->
