HASH(0x7ff43807ea88)