Ice Cream

Problem Statement

Ice cream is sold in packs of 3 and 5 scoops. Can exactly k scoops be bought?

Input

A single number k is entered (positive integer).

Output

Output "YES" if it is possible to buy exactly k scoops (not more or fewer); otherwise output "NO".

Example

[{'input': '3', 'output': 'YES'}, {'input': '1', 'output': 'NO'}]