code: public synchronized int getKey(String k) {
          for (int i = nkeys; --i >= 0;)
              if ((keys[i] == k) ||
                  (k != null && k.equalsIgnoreCase(keys[i])))
                  return i;
          return -1;
      }
docs: return the location of the key