Was it Rated?

Description:

Input:

The only line of the input contains a single integer $$$n$$$ ($$$1 \leq n \leq 25$$$).

Sample Input:

1

Sample Output:

YES

Sample Input:

15

Sample Output:

NO