HASH(0x7fedd4039b90)