function mmLoadMenus() {
  if (window.mm_menu_0411094836_0) return;
  window.mm_menu_0411094836_0 = new Menu("root",125,20,"Arial, Helvetica, sans-serif",12,"#ffffff","#ffffff","#847C6F","#666666","left","middle",3,0,1000,-5,7,true,true,true,0,false,true);
  mm_menu_0411094836_0.addMenuItem("Breakfast","location='breakfast.html'");
  mm_menu_0411094836_0.addMenuItem("Grilled Tiger Prawns","location='menu2.html'");
  mm_menu_0411094836_0.addMenuItem("Whole Grilled Fish","location='menu3.html'");
   mm_menu_0411094836_0.hideOnMouseOut=true;
   mm_menu_0411094836_0.menuBorder=1;
   mm_menu_0411094836_0.menuLiteBgColor='#847C6F';
   mm_menu_0411094836_0.menuBorderBgColor='#847C6F';
   mm_menu_0411094836_0.bgColor='#847C6F';
   

  mm_menu_0411094836_0.writeMenus();
} // mmLoadMenus()