var topDom_ = 10;
var at = "@";
var dot = ".";

function mail(name, domain, domainType, id) {
    var s = name + at + domain + dot + domainType;

    if (id == undefined) {
        document.write(s);
    }
    else {
        var anchorElement = document.getElementById(id);

        anchorElement.href = anchorElement
            .href
            .replace('%7Bmail%7D', s)
            .replace('{mail}', s);
        anchorElement.innerHTML = anchorElement
            .innerHTML
            .replace('%7Bmail%7D', s)
            .replace('{mail}', s);
    }
}