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

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

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

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

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

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

5

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

Yes

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

6

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

No