document.write("<script language=\"JavaScript1.2\" src=\"menu_ie.js\"></script>");