4023 XOR 129

3894