<!--
os      = getOSType();
browser = getBrowserName();
version = getBrowserVersion();
if (os == "MacOS")   dirName = "../common/css/global_mac.css";
if (os == "Windows") dirName = "../common/css/global_win.css";
document.write("<link rel='stylesheet' href='"+dirName+"' type='text/css'>");

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}
// -->