2000 XOR 1431

583