HASH(0x7ff438078e18)