what is the XOR of 4207 and 4012

8131