function naviOver(nr, lang) 
{	
	document.getElementById('nav' + nr).src = 'images/navi/'+lang+'.btn_'+nr+'_over.jpg';}
function naviOut(nr, akt, lang) {	if(nr != akt) document.getElementById('nav' + nr).src = 'images/navi/'+lang+'.btn_'+nr+'.jpg';} 

function menuOver(nr) { document.getElementById('menu' + nr).className = 'menulink_sel'; }
function menuOut(nr, akt) { if(nr != akt) document.getElementById('menu' + nr).className = 'menulink'; }