3890 XOR 1025

2867