what is the XOR of 3887 and 4219

8020