// dvaa_em.js
function printWebmasterLink(punc) {
    document.write(
      "<a href=\"mailto:", "webstuff", "@", "dvaa.org\">webmaster</a>", punc)
}

function printEmailLink(user, host, text) {
    document.write("<a href=\"mailto:" + user + "@" + host + "\">" + text + "</a>")
}

function printEmailLinkText(user, host, text, extra) {
    document.write("<a href=\"mailto:" + user + "@" + host + "\">" + text + "</a>" + extra)
}

function printEmail(user, host) {
    document.write("<a href=\"mailto:" + user + "@" + host + "\">" +
    user + "@" + host + "</a>")
}