if ((document.all) && (navigator.userAgent.indexOf("Mac") >= 0)){
document.write("<script type='text/javascript' src='../mm_menu_macie.js'></script>");
} else {
document.write("<script type='text/javascript' src='../mm_menu.js'></script>");
}