function Nav4_re(init) {
  if (init==true) with (navigator) {
    if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
      document.pgX=innerWidth;
      document.pgY=innerHeight;
      onresize=Nav4_re;
    }
  }
  else
    if (innerWidth!=document.pgX || innerHeight!=document.pgY) location.reload();
}
Nav4_re(true);