what is the XOR of 4588 and 3031

6715