HASH(0x7ff4380502d0)