what is the XOR of 1231 and 4256

5231