function mailTo(mail) { 
    mail = mail.replace("[AT]", "@");
    mail = mail.replace("[DOT]", ".");
    mail = mail.replace("[MINUS]", "-");
    location.href = "mailto:" + mail;
}

function checkMail(email) {
  var a = false;
  var result = false;
  
  if(typeof(RegExp) == "function") {
    var b = new RegExp('abc');
    if(b.test("abc") == true)
      a = true;
  }
  
  if(a == true) {
    regexp = new RegExp('^([a-zA-Z0-9\\-\\.\\_]+)' + '(\\@)([a-zA-Z0-9\\-\\.]+)' + '(\\.)([a-zA-Z]{2,4})$');
    result = (regexp.test(email));
  } else {
    result = (email.search('@') >= 1 && email.lastIndexOf('.') > email.search('@') && email.lastIndexOf('.') >= email.length - 5);
  }
  return(result);
}