what is the XOR of 4259 and 3988

7991