what is the XOR of 172 and 4015

3843