Let
\[ f(x) + 2f\left(\frac{1}{x}\right) = \frac{1}{x} - 5 \]
Then
\[ \int_{1}^{2} 3f(x)\,dx \]
equals ______.
Let \( f(x) \) be differentiable and
\[ \int_{0}^{t^2} x f(x)\,dx = \frac{1}{2} t^4 \quad \text{for all } t. \]
Then the value of \( f(17) \) is ______.