4002 XOR 129

3875