what is the XOR of 4259 and 1228

5231