function a(b)
{
  var c = b.replace(/\[AT\]/, '@').replace(/\[DOT\]/, '.');
  document.write("<a href='mailto:"+c+"'>"+c+"</a>");
}