what is the XOR of 3131 and 1257

2258