what is the XOR of 1238 and 4115

5317