what is the XOR of 1431 and 4280

5423