if(navigator.appName.indexOf("Netscape")!=-1 && navigator.appVersion.indexOf("4.")!=-1)
  {
  document.write('<link rel=stylesheet type="text/css" href="styleNS-ovr.css">');
  origWidth=innerWidth; origHeight=innerHeight;
  window.onresize=stupidResize;
  }
function stupidResize()
  {
  if(innerWidth!=origWidth || innerHeight!=origHeight)
    location.reload();
  }