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