what is the XOR of 3131 and 1258

2257