/* Use this to deal with the Netscape 4 issue. */
if (document.layers) {
	origWidth = innerWidth;
	origHeight = innerHeight;
}
function reloadPage() {
	if (innerWidth != origWidth || innerHeight != origHeight)
		location.reload();
}
if (document.layers) onrsize = reloadPage;