Implementing hashCode() returning 13.