HASH(0x7fedfe6cc8a0)