// ImageChanger.js

  var ImageChanger = {

    // Hier werden die IDs registriert, die in deinem HTML-Code definiert worden sind.
    image: "currentImage",
    filename: "currentFilename",  

    doChange : function(/* String */ aNextImageUrl) {
      if ( (typeof(ImageChanger.image) == "string") || (typeof(ImageChanger.filename) == "string") ) {
        ImageChanger.image = document.getElementById(ImageChanger.image);
        ImageChanger.filename= document.getElementById(ImageChanger.filename);
      }

      var tmpContainer = aNextImageUrl.split("/");

      // summary:
      //   Setze die neue URL in das "image" Objekt
      //   und fülle das "filename"-Label mit dem Dateinamen der Grafik.
      //
      // note:
      //   Der Dateiname wird aus der URL extrahiert. URL wird an den "/" gesplittet und in ein Array transferiert. Letztes Array-Feld ist der Dateiname.
      //   -> http://domain.de/bilder/test.png
      ImageChanger.image.src = aNextImageUrl;
      ImageChanger.image.alt = tmpContainer[tmpContainer.length];
      ImageChanger.filename.innerHTML = tmpContainer[tmpContainer.length];

         

      return false;
    } 
  };
  

  
  //Text des div ändern (Beschreibungstext für Bilder)
    var inhalt;
   function exchange(inhalt) {
            document.getElementById('bildbeschreibung').innerHTML = inhalt;
    }
    
    
    //Margin des divs ändern
    var hoehe;
    function changemargin(hoehe) {
        document.getElementById('unterseite_unten').style.marginTop = hoehe;
    }
    
    //Margin des unteren Textes wieder zurücksetzen
    function defaultmargin() {
        document.getElementById('unterseite_unten').style.marginTop = "335px";
    }