function RotatePic() {
      // name des bildes was getauscht werden soll im html-code (img-tag-name)
      var BildTDTagID = "rdmpic";     
    
      // hier stehen alle pfade der bilder drinnen
      var Bilder = new Array(         
         "imagesvni/banner_01.jpg",
		 "imagesvni/banner_demo.jpg"
		 //"images/coma/bild1.jpg",
         //"images/coma/bild2.jpg",
         //"images/coma/bild3.jpg",
		 //"images/coma/bild4.jpg",
		 //"images/coma/bild5.jpg",
		 //"images/coma/bild6.jpg",
		 //"images/coma/bild7.jpg",
		 //"images/coma/bild8.jpg",
		 //"images/coma/bild9.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;
      }

   }