what is the XOR of 87 and 4072

4031