what is the XOR of 4213 and 1145

5132