what is the XOR of 3987 and 4142

8125