HASH(0x7f5cca1b64d8)