MathNet 2008-part-04 — 165 problems (EN–VI) Question 164

Given that $x + \sin y = 2008$ and $x + 2008 \cos y = 2007$, where $0 \le y \le \pi / 2$, find the value of $x + y$.