what is the XOR of 15 and 712

711