what is the XOR of 1217 and 4254

5215