function changeLanguage() {
	var list = document.getElementById("langselect");
	window.top.location = list.options[list.options.selectedIndex].value;
}