public int hashCode() {
   return attr.hashCode();
 }