function output_email_link(a, b, c) {
    email = decrypt_email(a, b, c);
    write_email_link(email, email);
}
function output_named_email_link(a, b, c, name) {
    email = decrypt_email(a, b, c);
    write_email_link(email, name);
}
function decrypt_email(a, b, c) {
	return c + '@' + b + '.' + a;
}
function write_email_link(href, name) {
	document.write('<a href="mailto:' + href + '">' + name + '</a>');
}