what is the XOR of 3143 and 4015

1000