function gallerie(bild,nummer) {
	var quelle = bild.getAttribute("href");
	var bildwechsler = document.getElementById("bildwechsler");
	bildwechsler.setAttribute("src",quelle);
}