what is the XOR of 3988 and 1139

3047