what is the XOR of 4588 and 2251

6439