1235 XOR 1888

947