HASH(0x7ff43c09b1d0)