DOM = document.getElementById;
Netscape4 = document.layer;
Netscape6 = Mozilla = (navigator.appName == "Netscape") && DOM;
Netscape7 = navigator.userAgent.indexOf("Netscape/7") >= 0;
Opera5 = window.opera && DOM;
Opera6 = Opera5 && window.print;
Opera7 = Opera5 && navigator.userAgent.indexOf("Opera 7") >= 0;
IE = document.all && !Opera5;
Firefox = navigator.userAgent.indexOf("Firefox") >= 0;

if(IE) document.write("<link rel='stylesheet' href='/css/menu_ie.css' type='text/css' />");
else if (Opera7) document.write("<link rel='stylesheet' href='/css/menu_op7.css' type='text/css' />");
else document.write("<link rel='stylesheet' href='/css/menu_fire.css' type='text/css' />");