function change_image(pfad,image_name,id){

	document.getElementById(id).src = pfad + image_name;
	document.getElementById('gipfellink').style.color='#ba0038';
	
}