AT_abc114_a [ABC114A] 753
题目描述
“七五三”是一个庆祝七岁、五岁、三岁儿童成长的节日。
Takahashi 今年 $X$ 岁了，他的成长会在这个节日被庆祝吗？
输入格式
一个字母 $X$，表示 Takahashi 的年龄。
输出格式
如果 Takahashi 的成长会被庆祝，输出 `YES`；
如果不会，输出 `NO`。
说明/提示
### 制約
- $ 1\