// JavaScript Document

    var content;
    
    function createAndSendRequest(link){
      return createAndSendRequest(link, false);
    }

    function createAndSendRequest(link, overrideMimeType){
    
      var http_request;
      if (window.XMLHttpRequest) { // Mozilla, Safari, ...
          http_request = new XMLHttpRequest();
          if(overrideMimeType) http_request.overrideMimeType('text/xml');
      }
      else if(window.ActiveXObject) { // IE
        http_request = new ActiveXObject("Microsoft.XMLHTTP");
      }

      http_request.open('GET', link, false);
      http_request.send(null);
      return http_request;
    }
    function requestSuccessful(http_request){
      //Status des Requests abfragen
        if(http_request.readyState==4){
        }
        else{
            if(http_request.readyState==0){
              alert("Fehler! Nicht initialisiert!");
              return false;
            }
        }
      //Antwort des HTTP-Servers abfragen
        if (http_request.status == 200) {
          } 
          else
          {
            alert("Fehler am Server: "+http_request.status);
            return false;
        }
        return true;
    }

    /**
     * Diese Funktion erwartet die Element-ID des DIVs, dessen Inhalt mit dem der "content"-Variable gefüllt werden soll.
     */         
    function displayContent(elementID){
      
//      var element=document.getElementById("content01");
      if(elementID!=null && elementID.length>0) element=document.getElementById(elementID);
      
      if(content!=null){
        document.getElementById("progressBar01").innerHTML="";
        document.getElementById("progressBar01").style.visibility="hidden";
        shouldStart=false;
        element.innerHTML=content;
        window.clearTimeout(runningFunction);
      }
      else {
        window.setTimeout("displayContent",500);
      }
    }

    /**
     * Diese Funktion setzt eine Anfrage an eine Adresse ab und gibt den Inhalt der Antwort zurück.
     *      
     */         
    function fetchContentFromAddress(address){
      
      var httpRequest=createAndSendRequest(address);
      
      if(requestSuccessful(httpRequest)){
       var response=httpRequest.responseText;
       return response;
      }
    }