HASH(0x7fee0142ce78)