题目描述

ABC 洋菓子店では, $1$ 個 $4$ ドルのケーキと $1$ 個 $7$ ドルのドーナツが売られている.
このとき, 合計金額が $N$ ドルとなる買い方はあるか, 判定せよ. ただし, 同じ商品を二個以上買っても良く, 買わない商品があっても良いものとする.

输入格式

入力は以下の形式で標準入力から与えられる.

$N$

输出格式

合計が $N$ ドルとなる買い方がある場合 Yes, そうでない場合 No と出力せよ.

题目大意

给定一个数 $N$，若能由若干个 $4$ 或 $7$ 组成（可以是 $0$ 个）输出 Yes，否则输出 No。

Translated by ShanCreeper.

11

Yes

40

Yes

3

No

提示

制約

• $N$ は $1$ 以上 $100$ 以下の整数

Sample Explanation 1

ケーキを $1$ 個, ドーナツを $1$ 個買えば合計 $4\ +\ 7\ =\ 11$ ドルとなる.

Sample Explanation 2

ケーキを $10$ 個買えば $4\ \times\ 10\ =\ 40$ ドルとなる.

Sample Explanation 3

ケーキの値段は $4$ ドル, ドーナツの値段は $7$ ドルと, どちらも $3$ ドルより高いためそのような買い方は存在しない.