what is the XOR of 4288 and 1231

5135