Дана послідовність цифр ~S~, що складається з цифр від 1 до 9. Степан любить числа, кратні 8. Він намагається отримати число, кратне 8, переставивши послідовність цифр у ~S~.

Визначте, чи можливо це.

Формат вхідних даних

Вхідний потік містить ~S~ (~1 \le |S| \le 2 \times 10^5~). ~S~ містить цифри проміжку ['1'..'9'].

Формат вихідних даних

У вихідний потік вивести ~Yes~ або ~No~ - відповідь на поставлене завдання

Приклад вхідних даних

1234

Приклад вихідних даних

Yes

Приклад вхідних даних

1333

Приклад вихідних даних

No