what is the XOR of 4213 and 1276

5257