what is the XOR of 2254 and 1431

3417