function loadbuttons(menu) {

    menu = "menu_" + menu + ".php?test=" + new Date().getTime();

    new Ajax.Request(menu,
    {
     method:'GET',
     encoding: 'ISO-8859-1',
     onLoading: function(){
      // $('buttons').innerHTML='';
      },
     onSuccess: function(empfang){
       $('buttons').innerHTML=empfang.responseText;
     },
     onFailure: function(){
       $('buttons').innerHTML='Seite konnte nicht geladen werden!';
     }

     }
    );
   }