what is the XOR of 2000 and 4857

5417