1535 XOR 1712

847