function change_lang(el){
	window.location.href = "/" + el.options[el.selectedIndex].value.replace(/de/, "");
}