// generate a mailto command (hide address from bots)

  function do_mail() {
    var str1 = "m";
    var str2 = "a";
    var str3 = "il";
    var str4 = "to";
    var dot = ".";
    var t = "@";
    var x = "traub";
    var doc = str1 + str2 + str3 + str4 + ":";
    doc += "t" + x + t;
    doc += "higherselflmt" + dot + "com";
    window.location = doc;
  }