var mmenucolor;
function SetHMMenu(menu) 
{
	mmenucolor = menu.style.backgroundColor;
	menu.style.backgroundColor='#13537D';
	menu.style.color='#FFFFFF';
}
function SetMMenu(menu) 
{
	menu.style.backgroundColor=mmenucolor;
	menu.style.color='#CCCCCC';
}