HASH(0x7ff4145015e0)