function wechsel1(bildname,bild)
	{
 		window.document.images[bildname].src ='img/' + bild + '.gif';
	}