HASH(0x7ff4185f0788)