// *********************************************************
	
// für den Bildwechsel
function on(num) { document.images['nav'+num].src = eval('Hi'+num+'.src'); }
function off(num) { if (active != num) { document.images['nav'+num].src = eval('No'+num+'.src'); } }