what is the XOR of 3141 and 1022

4027