HASH(0x7f5ccdfa63d0)