function engVersion() {
var path = window.location.pathname;
    var page = path.substring(path.lastIndexOf('/') + 1);
    window.location = "eng/" + page;
    return false;
}

function itaVersion() {
var path = window.location.pathname;
    var page = path.substring(path.lastIndexOf('/') + 1);
    window.location = "../" + page;
    return false;
}