window.onload=function(){
  new Ajax.Updater( 'mainnavi', 'mainmenu.html', {method: 'get'});
}