code: public DbDatum datum(String name) {
          DbDatum datum;
          for (int i = 0; i < size(); i++) {
              datum = elementAt(i);
              if (name.equalsIgnoreCase(datum.name))
                  return datum;
          }
          return null;
      }
docs: ===========================================================