what is the XOR of 4080 and 4285

8013