1839 XOR 1712

415