what is the XOR of 4031 and 1001

3158