4003 XOR 1172

2871