what is the XOR of 3080 and 3887

807