os = getOSType();browser = getBrowserName();if (os == "MacOS") {dirName = "../css/mac/";}else { dirName = "../css/win/";}if (browser == "Netscape") dirName += "nn.css";if (browser == "Explorer") dirName += "ie.css";document.write("<link rel='stylesheet' href='"+dirName+"' type='text/css'>");function getOSType(){    var uAgent  = navigator.userAgent.toUpperCase();    if (uAgent.indexOf("MAC") >= 0) return "MacOS";    if (uAgent.indexOf("WIN") >= 0) return "Windows";    if (uAgent.indexOf("X11") >= 0) return "UNIX";    return "";}function getBrowserName(){    var aName  = navigator.appName.toUpperCase();    if (aName.indexOf("NETSCAPE") >= 0)  return "Netscape";    if (aName.indexOf("MICROSOFT") >= 0) return "Explorer";    return "";}
