function mmLoadMenus()
 { if (window.mm_menu_1_0) return;

mm_menu__0.writeMenus();
}