问题描述

在 ABC 洋菓子店，有售价为 $4$ 美元的蛋糕和售价为 $7$ 美元的甜甜圈。

请判断是否存在一种购买方式，使得总金额恰好为 $N$ 美元。每种商品都可以购买任意多个，也可以不购买。

输入格式

输入一行，一个整数 $N$。

输出格式

如果存在总金额恰好为 $N$ 美元的购买方式，输出 Yes；否则输出 No。

样例输入 1

11

样例输出 1

Yes

样例输入 2

17

样例输出 2

No

评测数据规模

对于所有数据，保证 $1 \le N \le 100$。