function menu_high(t)
{
	t.style.backgroundColor='#ffa500';
	t.style.color='#FFFFFF';
}

function menu_unhigh(t)
{
	t.style.backgroundColor = 'transparent';
	t.style.color='#FFFFFF';
}

function menu_highlightWithColor(t,color)
{
	t.style.backgroundColor = color;
	t.style.color='#FFFFFF';
}