5429：AT_abc105_b [ABC105B] Cakes and Donuts
文件提交：无需freopen
内存限制：1024 MB
时间限制：2.000 S
评测方式：普通裁判
金币值：
命题人：
1
提交：1
解决：0
题目描述
# AT_abc105_b [ABC105B] Cakes and Donuts
## 题目信息
- 题号：AT_abc105_b
- 标题：[ABC105B] Cakes and Donuts
- 难度：入门
- 标签：无
- 时间限制：2.00s
- 内存限制：1024.00MB
- 提交数：466
- 通过数：183
## 题目翻译
给定一个数 $N$，若能由若干个 $4$ 或 $7$ 组成（可以是 $0$ 个）输出 `Yes`，否则输出 `No`。
Translated by ShanCreeper.
## 题目描述
[problemUrl]: https://atcoder.jp/contests/abc105/tasks/abc105_b
ABC 洋菓子店では, $ 1 $ 個 $ 4 $ ドルのケーキと $ 1 $ 個 $ 7 $ ドルのドーナツが売られている.
このとき, 合計金額が $ N $ ドルとなる買い方はあるか, 判定せよ. ただし, 同じ商品を二個以上買っても良く, 買わない商品があっても良いものとする.
## 输入格式
入力は以下の形式で標準入力から与えられる.
> $ N $
## 输出格式
合計が $ N $ ドルとなる買い方がある場合 `Yes`, そうでない場合 `No` と出力せよ.
## 输入输出样例
### 输入 #1
```text
11
```
### 输出 #1
```text
Yes
```
### 输入 #2
```text
40
```
### 输出 #2
```text
Yes
```
### 输入 #3
```text
3
```
### 输出 #3
```text
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 $ ドルより高いためそのような買い方は存在しない.