HASH(0x7ff43808da90)