what is the XOR of 4258 and 1237

5239