HASH(0x7ff43405ede8)