what is the XOR of 3893 and 142

4027