    <!--
      function generate_a() {
        var td = "com"
        var dm = "&#115;&#110;&#101;&#97;&#107;&#101;&#109;&#97;&#105;&#108;";
        var un = "bit01-badideatheater";
        var atsign = "&#64;";
        var pd =".";
        var mm = "mail"
        var ddr = un + atsign + dm + pd + td;
        document.write(
          "<" + "a" + " " + "href=" + mm + "to:" + ddr + ">" +
          "<font color=\"black\">.<\/font>" +
          "<\/a>");
      }
    //-->