what is the XOR of 4200 and 17

4217