题目描述

小珅最近运气不太好，于是他准备找个数来做为自己的幸运数。幸运数需要满足一些特定的条件：能够被 $1$到 $5$以内所有的数整除。现在我们给出一个数，请你帮忙判断这个数能不能作为小珅的幸运数。

输入格式

输入共 $1$行，一个正整数。

输出格式

输出共 $1$行，若满足条件则输出 "Yes"，若不满足条件则输出 "No"。

50

No

数据规模与约定

$1 \le n \le 10000$