what is the XOR of 4127 and 1145

5222