function DisplayIt(txt, svr, u) {
  if ((txt.length == 0) || (txt.indexOf('@')+1)) {
    document.write("<a href=" + "'mai" + "lto:" + u + "@" + svr + "'>" + u + "@" + svr + "</a>");
  } else {
    document.write("<a href=" + "'mai" + "lto:" + u + "@" + svr + "'>" + txt + "</a>");
  }
}