/* To evade spam-scrapers, replace a departmental email prefix 
 * placeholder with a complete mailto: link.
 * Since older versions of JS lack the /g modifier of replace(),
 * perform twice.
 */
function m(to) {
	var htm = '<a href="mailto:blackhole&#64;onyxhawke.org">blackhole&#64;onyxhawke.org</a>';
	htm = htm.replace(/blackhole/, to);
	htm = htm.replace(/blackhole/, to);
	document.write(htm);
}