function format (bild){
               var ergebnis = '<img src="' + bild.src + '" width="' + bild.width + '" height="' + bild.height + '">';
               return ergebnis;
               }

      function format_with_name (bild, param){
               var ergebnis = '<img src="' + bild.src + '" width="' + bild.width + '" height="' + bild.height + '" ' + param + '>';
               return ergebnis;
               }

          function Inhaltwechsel (x) {
                       
                      return x;
      }
      
      function reiter(id){
               // var neu = inhalt.replace(/\\'/, "\"");
               switch (id) {
               case 1:
                  document.getElementById("tab1").style.display="block";
                  document.getElementById("tab2").style.display="none";
                  document.getElementById("tab3").style.display="none";
                  document.getElementById("tab4").style.display="none";
                  break;
               case 2:
                  document.getElementById("tab1").style.display="none";
                  document.getElementById("tab2").style.display="block";
                  document.getElementById("tab3").style.display="none";
                  document.getElementById("tab4").style.display="none";
                  break;
               case 3:
                  document.getElementById("tab1").style.display="none";
                  document.getElementById("tab2").style.display="none";
                  document.getElementById("tab3").style.display="block";
                  document.getElementById("tab4").style.display="none";
                  break;
               case 4:
                  document.getElementById("tab1").style.display="none";
                  document.getElementById("tab2").style.display="none";
                  document.getElementById("tab3").style.display="none";
                  document.getElementById("tab4").style.display="block";
                  break;
               }
      }

      function bildwechsel (source) {
	       bild = document.getElementById('startBild');
               bild.src = source;
      }
               
      function popup () {
                  fenster = window.open(document.startBild.src, "Popupfenster", "top=100, left=100, resizable=yes");
                  fenster.focus();
                  return false;
}