what is the XOR of 3222 and 3951

1017