HASH(0x7f5ca40d94c8)