what is the XOR of 4588 and 1251

5391