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

  function do_send() {
    var str1 = "m";
    var str2 = "a";
    var str3 = "il";
    var str4 = "to";
    var dot = ".";
    var t = "@";
    var doc = str1 + str2 + str3 + str4 + ":";
    doc += "rebeccap" + t;
    doc += "world.oberlin" + dot + "edu";
    window.location = doc;
  }