HASH(0x7f5ca80cc1d0)