HASH(0x7f5cdef3fc78)