// JavaScript Document
function msgto (mailID,maildomaine,mailextension) {
  mytxt = "<a href=mailto:" +mailID+"@"+maildomaine+"."+mailextension+">"+mailID+"@"+maildomaine+"."+mailextension+"</a>";
  document.write (mytxt);
}