what is the XOR of 143 and 4012

3875