// Miscellaneous JavaScript functions

function genaddr(part3, part2, part1)
{
	/* Writes an email address, as a mailto: link, to the calling document. 
	   Receives the address in three parts: part1 (which is third parameter)
	   is the bit before the @; part2 is the first bit after the @ (before 
	   the first dot); part3 (the first parameter) is the part after the
	   first dot (but excluding the dot itself). For example: mike@junk.co.uk
	   would be passed as "co.uk", "junk", "mike". 
	 */
	 
	 document.write(
		"<a href=mailto:" + part1 + "@" + part2 + "." + part3 + ">" + 
		part1 + "@" + part2 + "." + part3 + "</a>")
}