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)
    }