function nav_bg_wechsel(a,b){
	m = document.getElementById('navi_menu_'+ a);
	if(b == 'over'){
		m.style.backgroundColor  = '#6175B9';
	}else{
		m.style.backgroundColor  = '#0C2475';
	}
}