what is the XOR of 4588 and 3251

7519