1888 XOR 1030

870