<!--
if (navigator.appName == 'Microsoft Internet Explorer') {
	document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"menu.css\" media=\"screen, print\" />");
	document.write("<script src=\"menu.js\" language=\"javascript\" type=\"text/javascript\"></script>");
} else {
	document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"menu-ns.css\" media=\"screen, print\" />");
}
//-->
