what is the XOR of 4207 and 1231

5280