B. Was it Rated?
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output
Input

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

Examples
Input
1
Output
YES
Input
15
Output
NO