what is the XOR of 4087 and 1272

2831