what is the XOR of 3143 and 3872

871