what is the XOR of 3143 and 4378

7517