HASH(0x7f5ca40bf2e0)