what is the XOR of 3951 and 1238

3001