what is the XOR of 4288 and 1233

5137