// JavaScript Document

/* Construct email address to try and fool spam-crawlers. */
function mailto(name, domain, extension, text) {
	address = (name + '@' + domain + '.' + extension);
	if (text == '') {
		text = address;
	}
	document.write('<a href="mailto:' + address + '" class="email">' + text + '</a>');
}