/* ********
BILDWECHSEL
******** */

function bildwechsel(Bildname,Datei) 
		 {
		 window.document.images[Bildname].src = Datei;
		 }