   <!--
   function RotatePic() {
      // name des bildes was getauscht werden soll im html-code (img-tag-name)
      var BildTDTagID = "bildbg";  
      
      // ordner, wo die bilder gespeichert wurden
      var BildOrdner = "images/pics/";    
      
      // dateiname der bilder ohne nummer
      var BildName = "pic_";          
      
      // Bildformat (.jpg, .gif, .png, etc.)  
      var BildFormat = ".jpg";        
      
      // Anzahl der Bilder im Bildordner
      var AnzahlBilder = 20;        
      
      // Zahlenwert, mit der die bildernummerierung beginnt
      var StartCounter = 1;        

      // random zahl ermitteln
      RandBild = Math.round(Math.random()*AnzahlBilder);
      if( AnzahlBilder == RandBild ) RandBild = 0;
      rb = BildOrdner + BildName + (RandBild + StartCounter) + BildFormat;
      
      if (document.getElementById) {
         document.getElementById(BildTDTagID).style.backgroundImage='url('+rb+')';
      }
      if (document.all) {
         document.all[BildTDTagID].style.backgroundImage="url("+rb+")";
      }

   }
   //-->