1745 XOR 1258

571