function tidyAddr(el) {
    if (el.href.substring(0,7) == "mailto:") {
        new_link = el.href.replace("(at)", "@");
        new_link = new_link.replace("etunimi.sukunimi", "marko.myllymaki");
        el.href = new_link;
    }    
    return false;
}