what is the XOR of 3141 and 4212

7217