function get_address( username ) {
    var d = "sanctuario.com";
    var a = "@";
    var addr = username + a + d;
    document.write(
     "<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">" + addr + "<\/a>");
    }