what is the XOR of 2012 and 1251

831