what is the XOR of 4086 and 4257

8023