function menu_select(id)
{
	if (id != 0)
        {document.getElementById(id).style.color = "Yellow";
	document.getElementById(id).style.background ="Navy"}
}