if( navigator.appName == "Netscape" && parseInt(navigator.appVersion) == 4 && navigator.platform == "Win32") {
	document.tags.body.fontSize = '11px';
	document.tags.td.fontSize = '11px';
	document.tags.input.fontSize = '11px';
	document.classes.footer.all.fontSize = '10px';
	document.classes.topnav.all.fontSize = '11px';
	document.classes.current.all.fontSize = '11px';
	document.classes.section.all.fontSize = '11px';
	document.classes.navtext.all.fontSize = '11px';
}