menunum=0;menus=new Array();_d=document;function addmenu(){	menunum++;	menus[menunum]=menu;}function dumpmenus(){	mt="<scr"+"ipt language=JavaScript>";	for(a=1;a<menus.length;a++){		mt+=" menu"+a+"=menus["+a+"];"		}	mt+="<\/scr"+"ipt>";	_d.write(mt)}