function do_mail(id,dom) {
  document.location='mailto:'+id+'@'+dom;
}