1745 XOR 1231

542