what is the XOR of 4517 and 1337

5276