what is the XOR of 3451 and 4212

7439