function menu_over(id)
	{
		document.getElementById(id).style['backgroundColor']='#E7E7E9';
		document.getElementById(id+'a').style.color='#000000';	
		
	}


function menu_out(id)
	{
		document.getElementById(id).style['backgroundColor']='#12295B';
		document.getElementById(id+'a').style.color='#FFFFFF';	
		
	}