// JavaScript Document
	rolloverHI = new Image();
	rolloverHI.src = "../images/nav_hi.gif";
	rolloverAKT = new Image();
	rolloverAKT.src = "../images/nav_akt.gif";
	rolloverLO = new Image();
	rolloverLO.src = "../images/nav_button.gif";

	
function navsetzen (aktuellerNAV)
	{
	navNR = eval(eval(aktuellerNAV.replace(/img/,""))+5);
	document.images[navNR].src = rolloverAKT.src;
	}
	
	
function navclear (aktuellerNAV)
	{
	navNR = eval(eval(aktuellerNAV.replace(/img/,""))+5);
	document.images[navNR].src = rolloverLO.src;
	}