what is the XOR of 4213 and 1127

5138