function Load_langs()
{
    location=document.getElementById('langs').value;
}