HASH(0x7ff43807cb80)