Problem AV: 小酷赴约

Problem AV: 小酷赴约

[Creator : ]
Time Limit : 1.000 sec  Memory Limit : 128 MB

SubmitProblemList

Description

小酷的朋友小小酷约小酷下周一起去看展览,但小酷每周的 1、3、5 必须上课,请帮小酷判断他能否接受小小酷的邀请,如果能输出"YES";如果不能则输出"NO"。

Input

输入为一行,小小酷邀请小酷去看展览的日期,用数字 1 到 7 表示从星期一到星期日。

Output

输出为一行,如果小酷可以接受小小酷的邀请,输出"YES";否则,输出"NO"。

Sample Input Copy

2

Sample Output Copy

YES