HASH(0x7f5cda5f44b8)