1887 XOR 1345

542