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");
			}