what is the XOR of 4058 and 4235

8017