题目描述

晶晶每周一、三、五必须上课，其余日子可以赴约。给定邀请安排在星期几，判断晶晶能否接受。

输入格式

一行一个整数 $d$，1至7依次表示星期一至星期日。

输出格式

能接受输出 YES，否则输出 NO。

样例

1

NO

数据范围

$1\le d\le7$。