HASH(0x7ff43803df88)