what is the XOR of 3967 and 3511

712