HASH(0x7f5cedfd58d0)