function changelang() {
    var obj = document.getElementById("lang");
    if (obj) {
        var index = obj.selectedIndex;
        var value = obj.options[index].value;
        if (value.length > 0) {
            var href = "/studio/" + value + "/index.html";
            window.location.href = href;
        }
    }
}