1135 equals hash code