what is the XOR of 4007 and 4251

7996