what is the XOR of 3138 and 1007

4013