function bildertausch(bildname, bildsrc) { 
			document.images[bildname].src = "bilder/"+ bildsrc+".gif";		
			}