9. Evaluate the integral $\int_0^{2\pi}e^x\cos(3x)\,dx$.