what is the XOR of 4280 and 4095

8007