题目描述

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

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

输入格式

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

$X$

输出格式

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

题目大意

“七五三”是一个庆祝七岁、五岁、三岁儿童成长的节日 Takahashi 今年$X$岁了,他的成长会在这个节日被庆祝吗？

输入格式

一个字母$X$,表示Takahashi 的年龄。

输出格式

如果Takahashi的成长会被庆祝，输出YES; 如果不会，输出NO;

5

YES

6

NO

提示

制約

• $1\ <\ =\ X\ <\ =\ 9$
• $X$ は整数である。

Sample Explanation 1

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

Sample Explanation 2

また来年。