function bildaustausch(bildname, bild) {
	window.document.images[bildname].src = bild;
}