function load(lang) {
    fixAt(); fixLang(lang);
}


function fixAt() {
    var spans = document.getElementsByTagName("span");
    for (var i = 0; i < spans.length; i++) {
        if (spans[i].getAttribute("class") != "at") continue;
        spans[i].innerHTML = "@";
    }
}

function fixLang(lang) {
    var link = document.getElementById("navbarLang");
    function basename(url) { var elts = url.split('/'); return elts[elts.length - 1] }
    link.onclick = function(event) {
        var newLang = (lang == "en") ? "cy" : "en";
        url = "../" + newLang + "/" + basename(String(document.location));
        try {
            document.location = url;
        }
        catch(ex) { }
        return false;
    };
}