what is the XOR of 3871 and 4215

8040