what is the XOR of 3187 and 4135

7252