what is the XOR of 800 and 4031

3231