what is the XOR of 3143 and 1020

4027