function RotatePic() { 
      // name des bildes was getauscht werden soll im html-code (img-tag-name) 
      var BildTDTagID = "index";      
     
      // hier stehen alle pfade der bilder drinnen 
      var Bilder = new Array(          
         "bilder/mainbilder/index_bild1.jpg", 
         "bilder/mainbilder/index_bild2.jpg",
         "bilder/mainbilder/index_bild3.jpg",
         "bilder/mainbilder/index_bild4.jpg",
         "bilder/mainbilder/index_bild5.jpg",
         "bilder/mainbilder/index_bild6.jpg",
         "bilder/mainbilder/index_bild7.jpg",
         "bilder/mainbilder/index_bild8.jpg",
         "bilder/mainbilder/index_bild9.jpg",
         "bilder/mainbilder/index_bild10.jpg",
         "bilder/mainbilder/index_bild11.jpg",
         "bilder/mainbilder/index_bild12.jpg",
         "bilder/mainbilder/index_bild13.jpg"       
      ); 
       
       
      // random zahl ermitteln 
      RandBild = Math.round(Math.random()*Bilder.length); 
      if( Bilder.length == RandBild ) RandBild = 0; 
      rb = Bilder[RandBild]; 
       
      if (document.images) { 
         document.images[BildTDTagID].src=rb; 
      } 
}