what is the XOR of 4213 and 1200

5317