var netscape4;
if (navigator.appName == 'Netscape' && parseInt(navigator.appVersion) == 4){
	netscape4 = true;
	var origWidth = innerWidth;
	var origHeight = innerHeight;
}
function reDo() {
	if (innerWidth != origWidth || innerHeight != origHeight){
		location.reload();
	}
}
if (netscape4){
	onresize = reDo;
}