HASH(0x7ff43c02e078)