function menuControlOver(menuID) {
	document.getElementById(menuID).style.backgroundColor='#347385';
}
function menuControlOut(menuID) {
	document.getElementById(menuID).style.backgroundColor='';
}