HASH(0x7f5ccdcc39d8)