Added hashCode getter