問題文

七五三とは、$7$ 歳、$5$ 歳そして $3$ 歳の子どもの成長を祝うとある国の行事です。

いま、高橋くんは $X$ 歳です。今回の七五三で、高橋くんの成長は祝われるでしょうか？

制約

• $1 ≤ X ≤ 9$
• $X$ は整数である。

入力

入力は以下の形式で標準入力から与えられる。

$X$

出力

高橋くんの成長が祝われるなら YES, 祝われないなら NO と出力せよ。

入力例 1

5

出力例 1

YES

$5$ 歳の子どもの成長は祝われます。

入力例 2

6

出力例 2

NO

また来年。