function dumpmenus()
 {
  // create menu variable menu1,2, etc for each menu so 
  // that each menu given unique variable name for identification purposes 
  mt="<script language=javascript>";
  for (a=1;a<menus.length;a++) mt+=" menu"+a+"=menus["+a+"];"
  mt+="<\/script>";
  document.write(mt);
 }

dumpmenus();  // create menus variable names. must be used after all menu arrays have been declared