HASH(0x7ff438cffec0)