// DHTML Reload Javascript
function reDo(){ window.location.reload() }

if (document.layers) {
	origWidth=innerWidth;
	origHeight=innerHeight;
	onresize=function() { if(innerWidth!=origWidth||innerHeight!=origHeight)location.reload() }
} else {
    window.onresize = reDo;
}
