what is the XOR of 3987 and 1144

3051