var ajaxdestination="";

function getdata(what,where) { // get data from source (what)
 try {
   xmlhttp = window.XMLHttpRequest?new XMLHttpRequest():
  		new ActiveXObject("Microsoft.XMLHTTP");
 }
 catch (e) { }

 document.getElementById(where).innerHTML ="<br><br><br><br><center><img src='/images/loading.gif'></center>";

 ajaxdestination=where;
 xmlhttp.onreadystatechange = triggered;
 xmlhttp.open("GET", what);
 xmlhttp.send(null);
  return "you suck";
}

function triggered() { 
  if (xmlhttp.readyState == 4) if (xmlhttp.status == 200) {
    document.getElementById(ajaxdestination).innerHTML =xmlhttp.responseText;
    document.getElementById("transcontent").innerHTML =xmlhttp.responseText;
}
}
/*function gastst(){
javascript:getdata('html/gaststaette.html','mainContent');
javascript:getdata('html/navigation.html','navigation');
}*/