what is the XOR of 1259 and 4228

5231