what is the XOR of 1727 and 1143

712