function RotatePic() { 
      var BildTDTagID = "rdmpic";      
      var Bilder = new Array(          
         "pic_js/refresh1.jpg", 
         "pic_js/refresh2.jpg", 
         "pic_js/refresh3.jpg",
         "pic_js/refresh4.jpg",
         "pic_js/refresh5.jpg",
	 "pic_js/refresh6.jpg",
	 "pic_js/refresh7.jpg",
	 "pic_js/refresh8.jpg",
	 "pic_js/refresh9.jpg",
         "pic_js/refresh10.jpg" 
      );
      RandBild = Math.round(Math.random()*Bilder.length); 
      if( Bilder.length == RandBild ) RandBild = 0; 
      rb = Bilder[RandBild]; 
       
      if (document.images) { 
         document.images[BildTDTagID].src=rb; 
      } 

   }