what is the XOR of 4457 and 1288

5217