В кафе мороженое продают по три шарика и по пять шариков. Можно ли купить ровно k шариков мороженого?

Входные данные

Вводится число k (целое,положительное)

Выходные данные

Программа должна вывести слово YES, если при таких условиях можно набрать ровно k шариков (не больше и не меньше), в противном случае - вывести NO.

Примеры
Входные данные
3
Выходные данные
YES
Входные данные
1
Выходные данные
NO
Сдать: для сдачи задач необходимо войти в систему