what is the XOR of 4228 and 31

4251