function changeBild(verzeichnis,id){
	document.hauptbild.src = verzeichnis + "/" + id + ".jpg";
}