ns=window.navigator.appName == "Netscape"
 function getWindowWidth() {
  if (ns)
    return(window.innerWidth);
  return(-1);

}

function getWindowHeight() {
  if (ns)
    return(window.innerHeight);
  return(-1);
}

function getPageWidth() {
  if (ns)
    return(document.width);
  return(-1);
}

function getPageHeight() {
  if (ns)
    return(document.height);
  return(-1);
}
if (ns) {

    origWidth  = window.innerWidth;

    origHeight = window.innerHeight;

  }

  window.reload = newWinReload;
function newWinReload() {



  // Reload page in case of a stupid Netscape bug browser resize. First make sure it's a true

  // resize.



  if (ns && origWidth == window.innerWidth && origHeight == window.innerHeight)

    return;

  window.location.href = window.location.href;

}