HASH(0x7f5ca40720d0)