1888 XOR 1691

507