what is the XOR of 3425 and 4156

7517