var origWidth = window.innerWidth;
var origHeight = window.innerHeight;

function reloadPage() {
  if (navigator.appName=="Netscape") {
     if (origWidth != window.innerWidth || origHeight != window.innerHeight) {
	history.go(0);
     }
  }
}