function bildwechsel(name,bild){
	if (document.images){
		document.images[name].src = bild;
	}
}