what is the XOR of 4207 and 3139

7212