function tausche_bild(bild){
			window.document.images[bild].src = eval(bild+"2.src");
			}
		
function tausche_bild_back(bild){
			window.document.images[bild].src = eval(bild+"1.src");
			}
			
function tausche_karte(bild){
			window.document.getElementById("nav110").src = eval(bild+".src");
			}
		
function tausche_karte_back(bild){
			window.document.getElementById("nav110").src = eval(bild+".src");
			}