HASH(0x7ff438cffab8)