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