function mail_replace() {
 if (document.getElementById('mail')!=null)
 {
  var mail=document.getElementById('mail').innerHTML.replace(/\s*\[at\]\s*/, '@').replace(/\s*\[dot\]\s*/g, '.');
  document.getElementById('mail').innerHTML="<a href=\"mailto:"+mail+"\" class=\"email\">"+mail+"</a>";
 };
 if (document.getElementById('mail2')!=null)
 {
  var mail=document.getElementById('mail2').innerHTML.replace(/\s*\[at\]\s*/, '@').replace(/\s*\[dot\]\s*/g, '.');
  document.getElementById('mail2').innerHTML="<a href=\"mailto:"+mail+"\" class=\"email\">"+mail+"</a>";
 };
 if (document.getElementById('mail_ks')!=null)
 {
  document.getElementById('mail_ks').href=document.getElementById('mail_ks').href.replace(/\s*\[at\]\s*/, '@').replace(/\s*\[dot\]\s*/g, '.');
 };
};