<!--
 function mail2(mail) {
  location.href="mailto:"+mail.replace(" ","@")
 }
// -->