function naviOver(nr, akt) 
{	
	document.getElementById('menu' + nr).className = 'menu_sel';
}
function naviOut(nr, akt) 
{	
	if(nr != akt) 
	{
		document.getElementById('menu' + nr).className = 'menu';
	} 
}