7983
среди чисел от 1 до 31 есть числа, которые оканчиваются на ноль (10,20,30) и есть числа, при перемножении которых получится на конце ноль (5 и 2), следовательно, на конце этого числа будет, как минимум, 4 нуля. Вычитаем из 10000 число 2017 и получаем 7983