3157 XOR 1012

4001