what is the XOR of 3257 and 142

3127