HASH(0x7f5ceaff0c88)