what is the XOR of 3257 and 1139

2250