HASH(0x7f5caf3b64f0)