what is the XOR of 2012 and 4213

6057