function send_email(start, domain, subj, body) {
   var dest;
   dest = "mail" + "to:" + start + "@" + domain;
   if (subj) {
     dest += "?subject=" + escape(subj);
   }
   if (body) {
     dest += "&body=" + escape(body);
   }
   document.location.href = dest;
}
// JavaScript Document