static int find(Object[] a, Object key)
{
  int i;
  for (i=0; i<a.length(); i++)
    if (a[i].equals(key)) return i;
  return -1; // not found
}