HASH(0x7fedfe569728)