Problem:
Score : 100 points

Problem Statement

Shichi-Go-San (literally "Seven-Five-Three") is a traditional event in a certain country to celebrate the growth of seven-, five- and three-year-old children.

Takahashi is now X years old. Will his growth be celebrated in Shichi-Go-San this time?

Constraints

1 ≤ X ≤ 9

X is an integer.

Input

Input is given from Standard Input in the following format:

X

Output

If Takahashi's growth will be celebrated, print YES; if it will not, print NO.

Sample Input 1

5

Sample Output 1

YES

The growth of a five-year-old child will be celebrated.

Sample Input 2

6

Sample Output 2

NO

See you next year.

Solution in C (Clang 3.8.0) (judge verdict: Wrong Answer)

//usr/bin/env picoc $0 - $@;exit
#include <stdio.h>
int main(){
    int a,b,c,x,i,j,k,r=0;
    scanf("%d%d%d%d",&a,&b,&c,&x);
    for(i=0;i<=x/500;i++)for(j=0;j<=(x-500*i)/100;j++){
        k=x-500*i-100*j;
        r+=k%50==0&&c>=k/50&&a>=i&&b>=j;
    }
    printf("%d\n",r);
    return 0;
}