function swapColor(id_a){
	if(document.getElementById(id_a).className=="menua")
	{
		document.getElementById(id_a).className="menua-high";
		document.getElementById(id_a + "td").style.backgroundColor="#00255c";
	}
	else
	{
		document.getElementById(id_a).className="menua";
		document.getElementById(id_a + "td").style.backgroundColor="#fffaca";
	}
}