/* bildwechsler */


nav0	= new Image(100,50);
nav1	= new Image(100,50);
nav2	= new Image(100,50);
	
nav0.src	= "images/uebersicht_etappe1.gif";
nav1.src	= "images/uebersicht_etappe1_typ1.gif";
nav2.src	= "images/uebersicht_etappe1_typ2.gif";
	

function pic_change(normal0,focus0)
{    
    document.images[normal0].src = eval(focus0 + ".src")
}

function no_action()
	{
	}    

function getSelect(s) {
   return s.options[s.selectedIndex].value
 	}