function maschinen(bildnummer) {
	var bild = document.getElementById('image_maschinen');	
	 bild.src = 'image/'+bildnummer;	 
}

function ueber_uns(bildnummer) {
	var bild = document.getElementById('image_geschichte');	
	 bild.src = 'image/'+bildnummer;	 
}

function laser(bildnummer) {
	var bild = document.getElementById('image_laser');	
	 bild.src = 'image/'+bildnummer;	 
}