七五三

题目描述

七五三(Shichi-Go-San)是某国庆祝 $7$ 岁、$5$ 岁和 $3$ 岁儿童成长的传统节日。

现在,高桥君 $X$ 岁。在今年的七五三中,高桥君的成长会被庆祝吗?

输入格式

输入按以下格式从标准输入给出:

$X$

输出格式

如果高桥君的成长会被庆祝,输出 YES;否则输出 NO。

样例

5

YES

$5$ 岁儿童的成长会被庆祝。

6

NO

等明年吧。

数据范围

• $1 \le X \le 9$
• $X$ 是整数。