what is the XOR of 4039 and 512

3527