if (document.layers) {
	origWidth = innerWidth;
	origHeight = innerHeight;
	}

function reloadPage() {
	if (innerWidth != origWidth ||
		innerHeight != origHeight)

	location.reload();
	}
if (document.layers) onresize = reloadPage;