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

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

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

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

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

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

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

1234

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

Yes

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

1333

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

No