HASH(0x7f5ccdeed3d0)