У кав'ярні продаються тістечка по 4 грн та пончики по 7 грн. Визначте чи є спосіб купити деякі з них саме за \(N\) гривень. Можна купити 2 і більше пончиків чи тістечок або 0 тістечок чи 0 пончиків.

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

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

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

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

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

11

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

Yes

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

40

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

Yes

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

3

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

No