HASH(0x7f5d061e38f0)