HASH(0x7fedcc537ba0)