what is the XOR of 1249 and 2872

4057