function Reload_if_resize() {
	if( navigator.appName == "Netscape") {
	location.reload();
	}
	else if( navigator.appName == "Microsoft Internet Explorer" ) {
	location.reload();
	}
	else {}
}
window.onresize = Reload_if_resize;