Гайда у гори!

Обмеження: 2 сек., 256 МіБ

Зеник і Марічка надзвичайно люблять ходити у походи. Погода все ще хороша, тож нема чого байдикувати — гайда у гори!

Марічка з Зеником зібрали рюкзаки та поїхали підкорювати Карпатські гори. Дорога до гір доволі довга, а тому треба себе якось розважити. Для початку мандрівники вирішили зіграти в таку гру: Зеник називає число \(n\), а Марічка має сказати, чи можна його представити у вигляді суми одноцифрових щасливих чисел (тобто 4 та 7). Марічка — дівчина надзвичайно вродлива, але математика точно не є її сильною стороною, тому їй потрібна допомога, щоб правильно відповідати на хитрі запитання Зеника.

Вхідні дані

У єдиному рядку задано одне ціле число \(n\) — число, яке сказав Зеник.

Вихідні дані

Якщо задане число можна представити як суму одноцифрових щасливих чисел, то виведіть Yes, інакше – No.

Обмеження

\(1 \le n \le 10^{9}\).

Приклади

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
11	Yes

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
13	No

Примітки

\(11 = 4 + 7\).