what is the XOR of 4086 and 3217

871