/* Pfade zu den Bildern */
    
	change1 = new Image();
	change1.src = "images/galerien/detail1.jpg";
	change2 = new Image();
	change2.src = "images/galerien/detail2.jpg";
	change3 = new Image();
	change3.src = "images/galerien/detail3.jpg";
	change4 = new Image();
	change4.src = "images/galerien/detail4.jpg";
	change5 = new Image();
	change5.src = "images/galerien/detail5.jpg";
	change6 = new Image();
	change6.src = "images/galerien/detail6.jpg";
	change7 = new Image();
	change7.src = "images/galerien/detail7.jpg";
	change8 = new Image();
	change8.src = "images/galerien/detail8.jpg";
	change9 = new Image();
	change9.src = "images/galerien/raum1.jpg";
	change10 = new Image();
	change10.src = "images/galerien/raum2.jpg";
	change11 = new Image();
	change11.src = "images/galerien/sanitaer1.jpg";
	change12 = new Image();
	change12.src = "images/galerien/sanitaer2.jpg";
	change13 = new Image();
	change13.src = "images/galerien/sanitaer3.jpg";
	change14 = new Image();
	change14.src = "images/galerien/sanitaer4.jpg";
	change15 = new Image();
	change15.src = "images/galerien/sanitaer5.jpg";
	change16 = new Image();
	change16.src = "images/galerien/sanitaer6.jpg";
	change17 = new Image();
	change17.src = "images/galerien/sanitaer7.jpg";
	change18 = new Image();
	change18.src = "images/galerien/sanitaer8.jpg";
	change19 = new Image();
	change19.src = "images/galerien/sanitaer9.jpg";
	change20 = new Image();
	change20.src = "images/galerien/sanitaer10.jpg";
	change21 = new Image();
	change21.src = "images/galerien/treppe1.jpg";
	change22 = new Image();
	change22.src = "images/galerien/treppe2.jpg";
	change23 = new Image();
	change23.src = "images/galerien/treppe3.jpg";
	change24 = new Image();
	change24.src = "images/galerien/wellness1.jpg";
	change25 = new Image();
	change25.src = "images/galerien/wellness2.jpg";
	change26 = new Image();
	change26.src = "images/galerien/wellness3.jpg";
	change27 = new Image();
	change27.src = "images/galerien/wellness4.jpg";
	change28 = new Image();
	change28.src = "images/galerien/wellness5.jpg";
	change29 = new Image();
	change29.src = "images/galerien/detail9.jpg";
	change30 = new Image();
	change30.src = "images/galerien/sanitaer11.jpg";	
	
	/* CF: hier nichts ändern */
	function setpic(img) {
	  window.document.images['large'].src = img.src;
	  stdimg = img;
	}
	function imgin(img) {
	  window.document.images['large'].src = img.src;
	}
	function imgout() {
	  if (typeof stdimg == "undefined" || stdimg == "") {stdimg = normal}
	  window.document.images['large'].src = stdimg.src;
	}