what is the XOR of 1217 and 4257

5216