HASH(0x7f5cd09b64f0)