Let's go to the mountains!
Limits: 2 sec., 256 MiB
This statement was translated automatically from Ukrainian.
Zenyk and Marichka extremely love going on hikes. The weather is still good, so there’s no time to be idle — let’s go to the mountains!
Marichka and Zenyk packed their backpacks and went to conquer the Carpathian Mountains. The road to the mountains is quite long, and therefore they need to entertain themselves somehow. To start the journey, the travelers decided to play the following game: Zenyk names a number \(n\), and Marichka has to say whether it can be represented as a sum of single-digit lucky numbers (i.e., 4 and 7). Marichka is an extremely beautiful girl, but mathematics is definitely not her strong suit, so she needs help to correctly answer Zenyk’s tricky questions.
Input
The single line contains a single integer \(n\) — the number said by Zenyk.
Output
If the given number can be represented as a sum of single-digit lucky
numbers, print Yes, otherwise – No.
Constraints
\(1 \le n \le 10^{9}\).
Samples
| Input (stdin) | Output (stdout) |
|---|---|
| 11 | Yes |
| Input (stdin) | Output (stdout) |
|---|---|
| 13 | No |
Notes
\(11 = 4 + 7\).
Submit a solution
| Element Type | Created | Who | Problem | Compiler | Result | Time (sec.) | Memory (MiB) | # | Actions |
|---|
| Element Type | Created | Who | Problem | Compiler | Result | Time (sec.) | Memory (MiB) | # | Actions |
|---|