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 (GCC 5.4.1) (judge verdict: Wrong Answer)

#include<stdio.h>
int main(void){
  int i=0,t,judge=753;
  char S[11]="";
  scanf("%s",S);
  while((S[i+2]>='0' && S[i+2]<= '9') || S[i+2]!='\0'){
    t=(S[i]-16)*100+(S[i+1]-16)*10+(S[i+2]-16);
    if(753<t){
      if(t-753<judge){
        judge=t-753;
      }
    }else{
      if(753-t<judge){
      	judge=753-t;
      }
    }
    i++;
  }
  printf("%d\n",judge);
  return 0;
}