what is the XOR of 2000 and 4457

5817