function go_to_langlink() {
    var select = eval(document.langlinks.langlinks);
    if(select) {
        var new_url = select[select.selectedIndex].value;
        if(new_url)
            document.location.href = new_url;
    }
}