HASH(0x7f5cfcfe3bc8)