\cos 2x = \frac{1}{2}, \frac{\pi}{2} < x < \pi, \sin 7x = ?