4) 127

Найдем радиус окружности, зная длину окружности:
\[C = 2\pi r\]
Подставим известные значения:
\[12\pi = 2\pi r\]
Разделим обе части уравнения на \(2\pi\):
\[r = \frac{12\pi}{2\pi} = 6\]

Теперь найдем диаметр окружности, зная радиус:
\[d = 2r\]
\[d = 2 \cdot 6 = 12\]