checked that hashCode works