what is the XOR of 4135 and 4517

386