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>');}