function Bildwechsel(nr)
 	 {
 	 window.document.images["grossbild"].src="../../../img/werbeschilder/"+nr+".jpg";
 	 }