what is the XOR of 3988 and 4813

7513