what is the XOR of 3142 and 4215

7217