function swapColor(id_men, id_a){
	if(document.getElementById(id_men).className=="td_menu_oben")
	{
		document.getElementById(id_men).className="td_menu_oben_high";
		document.getElementById(id_a).className="menu_oben_high";
	}
	else
	{
		document.getElementById(id_men).className="td_menu_oben";
		document.getElementById(id_a).className="menu_oben";
	}
}

function swapColorMenu(id_men, id_a){
	if(document.getElementById(id_men).className=="td_menu")
	{
		document.getElementById(id_men).className="td_menu_high";
		document.getElementById(id_a).className="menu_high";
	}
	else
	{
		document.getElementById(id_men).className="td_menu";
		document.getElementById(id_a).className="menu";
	}
}