what is the XOR of 80 and 4007

4087