what is the XOR of 10 and 1257

1251