what is the XOR of 4135 and 4871

800