what is the XOR of 3158 and 1001

4031