HASH(0x7f5cda5785c0)