В магазині продають морозиво по 3 кульки та по 5 кульок. Чи можна купити рівно \(N\) кульок морозива?

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

Ціле додатнє число \(N\)

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

Виведіть слово YES, якщо можна купити рівно \(N\) кульок, і NO в іншому випадку.

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

3

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

YES

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

7

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

NO