HASH(0x7ff43d2cb600)