HASH(0x7f5ca80cc1f0)