方程 $\sin x+\sqrt{3}\cos x=\sqrt{2}$ 在閉區間 $[0,4\pi ]$ 內的相異實根個數為  ？（填正整數）