糕点店只出售每盒 $4$ 个的蛋糕和每盒 $7$ 个的甜甜圈。小泽想恰好购买 $N$ 个糕点，可以购买任意非负数量的两种盒装商品。请判断能否做到。

输入格式

一行包含一个整数 $N$。

输出格式

若能恰好购买 $N$ 个，输出 Yes；否则输出 No。

11

Yes

10

No

100

Yes

数据范围与约定

• $1 \le N \le 100$