HASH(0x7ff4184875b0)