document.write ("<script type=\"text/javascript\" language=\"JavaScript1.2\" src=\"js/menu.js\"></script>");