what is the XOR of 3871 and 1238

3017