what is the XOR of 4080 and 4272

8000