aktuelle_nav4="leer";

function tausche_bild4(bild){
			window.document.images[bild].src = eval(bild+"2.src");
			}
		
function tausche_bild_back4(bild){
			if (aktuelle_nav4 != bild)
				{
				window.document.images[bild].src = eval(bild+"1.src");
				}
			}
			

function geklickt4(bild){
			if (aktuelle_nav4 != "leer")
				{
				window.document.images[aktuelle_nav4].src = eval(aktuelle_nav4+"1.src");
				}
			aktuelle_nav4=bild;		
			}