function writeemail(m)
{
	document.write(m.substr(m.length-7,7).concat(m.substr(0,m.length-7)).replace(/_at_/,"@"));
}

function writeemailhref(m)
{
	document.write("<a href=\"mailto:");
	writeemail(m);
	document.write("\">")
}

function writeemailhrefend()
{
	document.write("</a>");
}