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>");
      }
function mailclass (name,mclass) {
      // Anti-spam with class;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      "pusc" + "." + "it class=" + mclass + ">" + name + "@" + "pusc" + "." + "it" + "</a>");
      }
function mailstyle (name,mtext,mclass) {
      // Anti-spam with class;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      "pusc" + "." + "it class=" + mclass + ">" + mtext + "</a>");
      }
