说明

格莱尔发现了一个有趣的现象：$8$除以$3$余$2$，$8$除以$7$余$1$，她把这种除以$3$余$2$同时除以$7$余$1$的数成为“$3721$”数。
试编一程序，判断输入的整数X是否为“$3721$”数。

输入格式

输出格式

如果X是“$3721$”的数，则输出“Yes”；否则输出“No”。

样例

29

Yes

30

No