1888 XOR 1257

905