public int hashCode() {
   int hash = 0;
   for (int i = 0; i < s.length(); i++)
      hash = (hash * 31) + charAt(i);
   return hash;
}