Implemented hashCode() returning 13.