imgname = new Array('praxis','schwerpunkte','aktuell','sprechzeiten','kontakt');


function changeOP(num,funk) {
	if(funk==1) {
		document.images['nav'+num].src = 'images/nav/'+imgname[num-1]+'_on.gif';
		}
	else {
		document.images['nav'+num].src = 'images/nav/'+imgname[num-1]+'_off.gif';
		}
	}