what is the XOR of 10 and 4251

4241