what is the XOR of 4259 and 1142

5333