what is the XOR of 3523 and 4254

7517