HASH(0x7f5ca4ffe3b0)