what is the XOR of 3857 and 1258

3067