HASH(0x7ff4240d4538)