what is the XOR of 1253 and 4015

2890