function nav4_resize() {
	// this will cause Netscape 4.x browser to reload whenever the document is resized
	// this fixes a potential bug with stylesheet that lose all the style upon resizing

	if ((parseInt(navigator.appVersion)==4) && (navigator.appName=="Netscape")){
	  window.location.reload();
	}
}