aktuelle_nav="leer";

function tausche_bild(bild){
			window.document.images[bild].src = eval(bild+"2.src");
			pfeil = bild+"b";
			window.document.images[pfeil].src = navpfeil.src;			
			}
		
function tausche_bild_back(bild){
			if (aktuelle_nav != bild)
				{
				window.document.images[bild].src = eval(bild+"1.src");
				pfeil = bild+"b";
				window.document.images[pfeil].src = navblank.src;			
				}
			}