// JavaScript Document

/** @brief emailLink prints a link to an email address
 *  @param username the email username
 *  @param hostname the email host name
 *  @param linktext the visible text. If null, the email address is used.
 */
function emailLink(username, hostname, linktext) {
	// a bit of obfuscation to trip up spammers
	var at = "@";
	var linkUrl = username + at + hostname;
	if ( !linktext ) {
		linktext = linkUrl;
	}
	document.write("<a href" + "=mai" + 
				   "lto:" + linkUrl + 
				   ">" + linktext + "</a>");
}