what is the XOR of 4517 and 1254

5443