what is the XOR of 3171 and 3994

1017