what is the XOR of 1985 and 4517

5732