HASH(0x7f5ccdef4a10)