Express the solution of the following initial value problem in terms of an integral. Explain your reasoning.

y' = cot(x), y(7) = 5

Which of the following is the solution to the initial value problem?
1) y = ln|sin(x)| + C
2) y = ln|sin(x)| + 5
3) y = ln|sin(x)| + 7
4) y = ln|sin(x)| + 12