if (os == "MacOS")   dirName = "mac_";
if (os == "Windows") dirName = "win_";
if (browser == "Netscape") dirName += "nn";
if (browser == "Explorer") dirName += "ie";
document.write("<link rel='stylesheet' href='/Restaurant/css/"+dirName+".css' type='text/css'>");