what is the XOR of 2012 and 4017

2157