function addrof(user, domain) {
    var a, b, c, d, addr;
    addr = user + '@' + domain;
    a = '<a href=\"ma'
    b = 'ilto:'
    c = '\">'
    d = '</a>'
    document.write(a + b + addr + c + addr + d);
}