menunum=0;
        menus=new Array();
        _d=document;

        function addmenu()
        {
            menunum++;
            menus[menunum]=menu;
        }

        function dumpmenus()
        {
            mt="<script language='javascript' type='text/javascript'>";
            for(a=1;a<menus.length;a++)
            {
                mt+=" menu"+a+"=menus["+a+"];"
            }
            mt+="<\/script>";_d.write(mt)
        }