if (browser != "Netscape 4.7") {
	document.write("<link href='/styles/global_menu.css' rel='stylesheet'>");
}