function munge_title( contact, address, title ) {
  var x = ".";
  var dept = "dbedt";
  var st = "hawaii";
  var gov = "gov";
  var y = "@";
  var z = contact + y + dept + x + st + x + gov;
  document.write("<" + "a" + " " + "href=" + "mail" + "to:" + z + ">" + title + "<\/a>");
  }

function munge( contact, address ) {
  var y = "&#64;";
  var z = contact + y + address;
  document.write("<" + "a" + " " + "href=" + "mail" + "to:" + z + ">" + z + "<\/a>");
  }