what is the XOR of 4137 and 3988

8125