HASH(0x7fedfe670eb0)