Use the hashCode() of the ID.