what is the XOR of 4071 and 1231

2856