what is the XOR of 3931 and 1000

3251