HASH(0x7fedce60d4b0)