function mouseOverMenu(menu){
	menu.style.cursor = 'pointer';
	menu.style.backgroundColor="#eeeeee";
	menu.style.borderColor="black";
	menu.style.color="#333333";
}

function mouseOutMenu(menu){
	menu.style.cursor = '';
	menu.style.backgroundColor="";
	menu.style.borderColor="";
	menu.style.color="";
}