文化活动课上，小婷老师给小泽介绍了一个按年龄庆祝成长的传统节日。小泽想知道，自己现在的年龄能不能参加这次庆祝。

“七五三”是某个国家为七岁、五岁和三岁儿童庆祝成长的传统活动。小泽现在 $X$ 岁，请判断他这次能否参加庆祝。

输入格式

输入一个整数 $X$。

输出格式

可以参加时输出 YES，否则输出 NO。

5

YES

6

NO

1

NO

数据范围与约定

• $1\le X\le9$
• $X$ 为整数