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