var http_request = false;
function doRequest(url)
{
  	http_request = false;

  	// Abhängig von Browsertyp ein HttpRequest erzeugen
  	if (window.XMLHttpRequest)
	{
	 	http_request = new XMLHttpRequest();
    	if (http_request.overrideMimeType)
    	{
      	http_request.overrideMimeType('text/xml');
   	}
	}
   else if (window.ActiveXObject)
   {
    	try
      {
      	http_request = new ActiveXObject("Msxml2.XMLHTTP");
    	}
      catch (e)
      {
      	try
         {
        		http_request = new ActiveXObject("Microsoft.XMLHTTP");
      	}
         catch (e) {}
    	}
	}

  	// Keine request vorhanden, dann hier abbrechen
	if (!http_request)
  	{
  		return false;
  	}

  	// Setzen der Callbackfunktion
  	http_request.onreadystatechange = myHandler;
  	http_request.open('GET', url, true);
  	http_request.setRequestHeader('Content-Type', 'text/xml');
  	// umgeht Internet Explorers Caching von GET-Anfragen
  	//http_request.setRequestHeader('If-Modified-Since', 'Sat, 1 Jan 2000 00:00:00 GMT');
  	http_request.send(null);
}

function myHandler()
{
  	// Testen ob das Request objekt mit dem laden fertig ist
	if (http_request.readyState == 4)
   {
    	// War die Anfrage erfolgreich / die URL erreichbar ?
   	if (http_request.status == 200)
      {
	   	changetext(http_request.responseText);
    	}
      else
      {
	   	resettext()
    	}
  	}
}

function changetext(text)
{
  	ergebnisdiv = document.getElementById('ajaxbox');
  	ergebnisdiv.innerHTML = text;
}

function resettext()
{
	ergebnisdiv = document.getElementById('ajaxbox');
  	ergebnisdiv.innerHTML = "";
}