function getOSType(){var B="";var A=navigator.userAgent.toUpperCase();
if(A.indexOf("MAC")>=0){B="MacOS"
}if(A.indexOf("WIN")>=0){B="Windows"
}return B}function setCSS(C){var B=getOSType();
var A=C;if(B=="MacOS"){A+="css/style_2007_mac.css"
}if(B=="Windows"){A+="css/style_2007_win.css"
}document.write("<link rel='stylesheet' type='text/css' href='"+A+"'>")
}