EmailMunge = new Object();EmailMunge.unMunge = function(str){  if (str.replace)  {    str = str.replace(/ *_DOT_ */, '.');    str = str.replace(/ *_AT_ */, '@');  }  return str;}EmailMunge.onclick = function(obj, str){  if (obj.href)  {    obj.href = 'mailto:' + EmailMunge.unMunge(str);    return true;  }  return false;}EmailMunge.sprint = function(str, trailer){  return (  '<a href="#" onclick="return EmailMunge.onclick(this, \'' + str + '\');">' + "\n" +    EmailMunge.unMunge(str) + trailer + '<' + '/a>'  );}EmailMunge.sprint2 = function(str, pre, post){  return (  '<a href="#" onclick="return EmailMunge.onclick(this, \'' + str + '\');">' + "\n" +    pre + EmailMunge.unMunge(str) + post + '<' + '/a>'  );}