what is the XOR of 4207 and 3902

8017