// JavaScript Document
<!--

     function make_mailto (user, host, text) {
          document.write ("<A HREF=\"mailto:" + user + "@" + host +
"\">" + text
+ "</A>");
        }

//-->