what is the XOR of 57 and 3988

4013