what is the XOR of 4058 and 1257

2867