#P2240. [ABC114A] 753

[ABC114A] 753

题目描述

“七五三” 是一个庆祝七岁、五岁、三岁儿童成长的节日。

Takahashi 今年 XX 岁了,他的成长会在这个节日被庆祝吗?

输入格式

一个字母 X (1X9)X\ (1 \le X \le 9),表示 Takahashi 的年龄。

输出格式

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

5
YES
6
NO