what is the XOR of 2012 and 4257

6013