function menuIn(elt)
{
	elt.style.backgroundColor="#0071B7";
}

function menuOut(elt)
{
	elt.style.backgroundColor="#40AF49";
}