1888 XOR 1031

871