3890 XOR 3017

1275