题目描述

Shichi-Go-San (literally "Seven-Five-Three") is a traditional event in a certain country to celebrate the growth of seven-, five- and three-year-old children.

Takahashi is now $X$ years old. Will his growth be celebrated in Shichi-Go-San this time?

七五三 "是某国庆祝七岁、五岁和三岁儿童成长的传统活动。

高桥现在已经 $X$ 岁了。这一次，他的成长会在七五三中得到庆祝吗？

输入格式

输入内容按以下格式标准输入：

$X$

输出格式

如果高桥的成长值得庆祝，则打印 "是"；如果不值得庆祝，则打印 "否"。

样例 #1

样例输入 #1

5

样例输出 #1

YES

样例 #2

样例输入 #2

6

样例输出 #2

NO

说明

数据规模与约定

• $1 ≤ X ≤ 9$
• $X$ 是整数。

样例 $1$ 解释

YES

庆祝五岁儿童的成长。

样例 $2$ 解释

明年见