HASH(0x7f5cc42bf2f0)