// common routines

// translates mail from spam-protected format
function translateEmails()
{
    var elts = document.getElementsByTagName("a");
    for (var i = 0; i < elts.length; i++) 
    {
        var elt = elts[i];
        if (elt.href.indexOf("mailto:") >= 0)
        { 
            var href = elt.href;
            elt.href = href.replace("_at_", "@").replace("_dot_",".");
       }
    }
}