what is the XOR of 1431 and 4237

5402