<!--
  var contact = "IST10"
  var email = "ist10"
  var emailHost = "wiredsafety.org"
  document.write("<a href=" + "mail" + "to:" + email + "@" + emailHost+ ">" + contact + "</a>")
  //-->