what is the XOR of 4027 and 1257

2898