function menuStateON(t)
{
	t.style.color="#000";
	t.style.backgroundColor="#6666CC";
}

function menuStateOFF(t)
{
	t.style.color="#fff";
	t.style.backgroundColor="#330099";
}

function pop_up(thisElement)
{
	var whatElement = document.getElementById(thisElement);
	whatElement.style.display = "none"; 
}