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