what is the XOR of 3991 and 1257

2942