what is the XOR of 2000 and 4415

5871