what is the XOR of 3259 and 4142

7317