3872 XOR 129

4001