HASH(0x7f5ca40ce7c0)