//  ONLY for Netscape Navigator 4...
//  Reloads the page if the window is resized
//  (It's a style glitch fix)
var agt = navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_nav = ((agt.indexOf('mozilla') != -1) &&
	(agt.indexOf('spoofer') == -1) &&
	(agt.indexOf('compatible') == -1));
var is_nav4 = (is_nav && (is_major == 4));

if (is_nav4) {onresize = location.reload;}