what is the XOR of 4317 and 1235

5134