HASH(0x7ff43806fbc8)