what is the XOR of 4137 and 1257

5312