what is the XOR of 4259 and 4012

7951