function RotatePic() {
      var BildTDTagID = "contentimg";    // name des bildes was getauscht werden soll im html-code (img-tag-name)
      var Bilder = new Array(         // hier stehen alle pfade der bilder drinnen
         "intro/intro_1.jpg",
         "intro/intro_2.jpg",
         "intro/intro_3.jpg",
         "intro/intro_4.jpg",
         "intro/intro_5.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;
      }

   }