HASH(0x7fedfe6d67a0)