what is the XOR of 2012 and 1557

457