what is the XOR of 4288 and 4007

8039