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 with text 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 for PUSC;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      "pusc" + "." + "it class=" + mclass + ">" + name + "@" + "pusc" + "." + "it" + "</a>");
      }
function mailstyle (name,mtext,mclass) {
      // Anti-spam with class and text for PUSC;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      "pusc" + "." + "it class=" + mclass + ">" + mtext + "</a>");
      }
// GENERIC
function mailaddrgen (name,mdom) {
      // Anti-spam address builder for PUSC;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      mdom + ">" + name + "@" + mdom + "</a>");
      }
function mailtextgen (name,mdom,mtext) {
      // Anti-spam address builder with text for PUSC;
      // From an idea of Steve Linford, by Salvatore Toribio;
      document.write ("<a href=" + "mail" + "to:" + name + "@" +
      mdom + ">" + mtext + "</a>");
      }
