function mail_to(person)
{
	document.write('<a href="');
	document.write('mailto:' + person + '%40%70%61%6E%73%61%79%2E%63%6F%6D');
	document.write('">');
}

function mail_to_end()
{
	document.write('</a>');	
}