function naviOver(nr, akt) 
{	
	document.getElementById('menu' + nr).src = 'images/menu_'+nr+'_over.jpg';
	document.getElementById('menu' + nr + 'txt').style.color = '#777777';
}
function naviOut(nr, akt) 
{	
	if(nr != akt) 
	{
		document.getElementById('menu' + nr).src = 'images/menu_'+nr+'.jpg';
		document.getElementById('menu' + nr + 'txt').style.color = '#BBBBBB';
	} 
}