/* #################################################################### Start menu's (navigator) javascript part 2 #################################################################### */ // The following line is critical for menu operation, and must appear only once. menunum=0;menus=new Array();_d=document;function addmenu(){menunum++;menus[menunum]=menu;}function dumpmenus(){mt="