//<script>
function menu_on (td_element)
{
	var td_to_use = document.getElementById(td_element);
	td_to_use.style.color = "#BF2316";
	td_to_use.style.Background = "none";
}

function menu_off (td_element)
{
	var td_to_use = document.getElementById(td_element);
	
	td_to_use.style.color = "#000099";
}

function go_to_destination ()
{
	var slSelect = document.getElementById('sl_destination');
	var strDestination = slSelect.value;
	
	document.location = "../" + strDestination + "/index.php"

}