what is the XOR of 3254 and 4231

7217