7. \(a^6\cdot a^{17}:a^{20}\), при \(a=4\).

\(a^6\cdot a^{17}:a^{20}=a^{6+17-20}=a^3\).

Подставляем \(a=4\): \(4^3=64\).

Ответ: 64.