what is the XOR of 3138 and 251

3257