// JavaScript Document
<!--
    document.write("<a href=" + "mail" + "to:" + string1 +
      string2 + string3 + string4 + ">" + string5 + "</a>");
  //-->