@Override
 public int hashCode() {
   return a.hashCode();
 }