题目描述

张三拿着$N$元钱去店里买蛋糕和甜甜圈，蛋糕$4$块一个，甜甜圈$7$块一个，问能否只买蛋糕和甜甜圈，正好花完$N$元钱。

输入格式

输入一个数$N$ 输出格式 若$N$元钱可以正好花完，输出$Yes$, 否则输出$No$

输入输出样例

样例 1

40

Yes

样例 2

3

No

数据范围与提示

$1≤N≤100$