题目描述

小江每周一、三、五必须上课，其他日期可以去看展览。给定朋友邀请的日期，判断他能否赴约。

输入格式

一行一个整数 $d$，$1$ 至 $7$ 分别表示周一至周日。

输出格式

可以赴约输出 YES，否则输出 NO。

样例

2

YES

数据范围

$1\le d\le7$。