// JavaScript Document.
 function mailaddr (name) {
       // Anti-spam address builder for PUSC;
       // From an idea of Steve Linford, by Salvatore Toribio;
       document.write ("<a href=" + "mail" + "to:" + name + "@" +
       "pusc" + "." + "it" + ">" + name + "@" + "pusc" + "." + "it" + "</a>");
       }
  function mailtext (name,mtext) {
       // Anti-spam address builder for PUSC;
       // From an idea of Steve Linford, by Salvatore Toribio;
       document.write ("<a href=" + "mail" + "to:" + name + "@" +
       "pusc" + "." + "it" + ">" + mtext + "</a>");
       }
//-->