var menurequest = new xajaRequest("php/menu.php",menu);
menurequest.doRequest();
var menu = function()
 {
  var element = document.getElementById("menu");
  if(menurequest.req.readyState==4)
  {
   var antwort = menurequest.req.responseText;
   element.innerHTML = antwort;
  }
  else
  {
   element.innerHTML = "<right><img src='gfx/loading.gif'></right>";
   menu();
  }
 };