function RotatePic() {
  // name des bildes was getauscht werden soll im html-code (img-tag-name)
  var BildTDTagID = "rdmpic";  
  
  // ordner, wo die bilder gespeichert wurden
  var BildOrdner = "images/";    
  
  // dateiname der bilder ohne nummer
  var BildName = "header";            
  
  // Bildformat (.jpg, .gif, .png, etc.)
  var BildFormat = ".jpg";        
  
  //Anzahl der Bilder im Bildordner
  var AnzahlBilder = 26;        
  
  // Zahlenwert, mit der die bildernummerierung beginnt
  var StartCounter = 0;        
  
  
  // random zahl ermitteln
  RandBild = Math.round(Math.random()*AnzahlBilder);
  if( AnzahlBilder == RandBild ) RandBild = 0;
  rb = BildOrdner + BildName + (RandBild + StartCounter) + BildFormat;
  
  if (document.images) {
	 document.images[BildTDTagID].src=rb;
  }

}