what is the XOR of 129 and 3894

4023