what is the XOR of 3257 and 4588

7509