function overMenu(menu) { 
	m = document.getElementById(menu);
	m.style.backgroundColor = '#FF3300';
}
function outMenu() { m.style.backgroundColor = ''; }


function overMenu_v2(menu) { 
	m = document.getElementById(menu);
	m.style.backgroundColor = '#722525';
}
function outMenu() { m.style.backgroundColor = ''; }