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