what is the XOR of 4241 and 3988

7941