Існує традиційне свято у певній східній країні, яке присвячене дітям семи, п'яти та трьох років. Степану сьогодні \(X\) років. Чи міг би він святкувати це свято у цій країні.

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

Вхідний потік містить ціле число \(X\) (\(1 \le X \le 9\))

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

Вивести \(Yes\) або \(No\) - відповідь на запитання.

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

5

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

Yes

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

6

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

No