what is the XOR of 42 and 3988

4030