3890 XOR 1743

2557