function menuIn(elt)
{
	elt.style.backgroundColor="#F2F0C9";
	elt.style.borderColor="#FF9900";
}

function menuOut(elt)
{
	elt.style.backgroundColor="white";
	elt.style.borderColor="white";
}