window.onresize = resizeIt;

function resizeIt() {
	str = navigator.userAgent.toUpperCase();
	if((str.indexOf("X11") < 0) && (str.indexOf("MOZILLA/4") >= 0)) {
		location.reload();
	}
}