Ответ:

\[a^3\cdot a^{17}:a^{20}=a^{3+17-20}=a^0=1.\]

Ответ: \(1\).