/*
 * Used to write out an email to make it harder for spambots to harvest it
 */

function write_email(user, domain, text)
{
    document.write('<a href="mailto:' + user + '@' + domain + '">' + text + '</a>');
}

function write_email_self(user, domain)
{
    write_email(user, domain, user + '@' + domain);
}