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