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