what is the XOR of 3867 and 1257

3058