3890 XOR 1707

2457