what is the XOR of 1157 and 1612

713