1888 XOR 1145

793