HASH(0x7fedee6951f0)