what is the XOR of 4228 and 1745

5717