what is the XOR of 1249 and 4888

6137