what is the XOR of 4517 and 3072

7589