what is the XOR of 4228 and 1259

5231