//Netscape 4 bug fix
if (document.layers) {
  origWidth = innerWidth;
  origHeight = innerHeight;
  }
function reloadPage() {
  if (innerWidth != origWidth || innerHeight != origHeight)
  location.reload();
  }
if (document.layers) onresize = reloadPage;