function change_image(bild_id,url){
	document.getElementById(bild_id).src = url;
}
