what is the XOR of 1249 and 4231

5222