HASH(0x7ff43c0b2710)