what is the XOR of 1987 and 4156

6143