what is the XOR of 812 and 3951

3139