what is the XOR of 4193 and 3007

7134