what is the XOR of 4193 and 1143

5142