function setLanguage(language) {
    var myPath = new String(document.URL);
    var myPath2;
    if (myPath == "http://www.disabili.tv/" || myPath == "http://www.ens.bz.it/") myPath2 = myPath + language + "/";
    else myPath2 = myPath.replace(/\/..\//, "/" + language + "/");
    window.location.href = myPath2;
    return false;
}