1533 XOR 1712

845