function localeSwitcher()
{
window.location.href=document.getElementById("switcher").locale.options[document.getElementById("switcher").locale.selectedIndex].value;
}