1888 XOR 1142

790