function emit_email(typ, middle)
{
	var mt = new Array('m','a','i','l','t','o',':') ;
	var dom = new Array('@', 'c','a','s','a','-',
		'c','a','n','t','a','l','u','p','o','.','c','o','m') ;
	exp = ": " + typ + dom.join('');
	if (middle == "") {
		exp = "";
		middle = typ + dom.join('');
	}
	document.write('<a href="'+ mt.join('') + typ + dom.join('') +'"">'
		+ middle +'</a>' + exp);
}