<!--
function changeLanguage(){
	destination = document.getElementById("Language").value
	if (destination) location.href = destination;
}
// -->