Гайда у гори!
Limits: 2 sec., 256 MiB
Зеник і Марічка надзвичайно люблять ходити у походи. Погода все ще хороша, тож нема чого байдикувати — гайда у гори!
Марічка з Зеником зібрали рюкзаки та поїхали підкорювати Карпатські гори. Дорога до гір доволі довга, а тому треба себе якось розважити. Для початку мандрівники вирішили зіграти в таку гру: Зеник називає число n, а Марічка має сказати, чи можна його представити у вигляді суми одноцифрових щасливих чисел (тобто 4 та 7). Марічка — дівчина надзвичайно вродлива, але математика точно не є її сильною стороною, тому їй потрібна допомога, щоб правильно відповідати на хитрі запитання Зеника.
Input
У єдиному рядку задано одне ціле число n — число, яке сказав Зеник.
Output
Якщо задане число можна представити як суму одноцифрових щасливих
чисел, то виведіть Yes, інакше – No.
Constraints
1≤n≤109.
Samples
| Input (stdin) | Output (stdout) |
|---|---|
| 11 | Yes |
| Input (stdin) | Output (stdout) |
|---|---|
| 13 | No |
Notes
11=4+7.