If $\int_{1}^{5} (3 f(x) + 7) \, dx = 17$, then
$\int_{1}^{5} f(x) dx =$