what is the XOR of 3571 and 4251

7528