what is the XOR of 3257 and 4142

7319