function fixmail(){
    var as = document.getElementsByTagName('a');
    for (var i = 0; i < as.length; i++){
        if(as[i].href.indexOf('#mmmmmm', as[i].href.length - '#mmmmmm'.length) == -1)
        continue;

        var addr = as[i].innerHTML.split(/[ :]/);
        as[i].innerHTML = addr[0] + '@' + addr[2] + '.' + addr[3];
        as[i].href='mailto:' + as[i].innerHTML;
    }

}