what is the XOR of 3143 and 1257

2222