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_bild5(bild){
			window.document.images['nav501'].src = eval(bild+".src");
			}
		
function tausche_bild_back5(bild){
			window.document.images['nav501'].src = eval(bild+".src");
			}