Number Theory Toolkit · Hard problem

In how many zeros does $1 \times 2 \times 3 \times \cdots \times 10$ end?