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

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

if (document.layers) onresize = reloadPage;