if ((navigator.appVersion.indexOf("Win") != -1)) {
document.write("<script src=\"../menu.js\" type=\"text/javascript\"></script>"); }
else {
document.write("<script src=\"../menumac.js\" type=\"text/javascript\"></script>"); }