HASH(0x7f5ce843c0f0)