what is the XOR of 4241 and 1712

5665