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 Ruby (2.3.3) (judge verdict: Wrong Answer)

ary = []
gets.chomp.split('').each do |item|
  ary = item.to_i
end

min = 900
(ary.size - 2).times do |i|
  num = ary[i] * 100 + ary[i+1] * 10 + ary[2]
  a = (753 > num) ? 753-num : num-753
  if min > a
    min = a
  end
end

puts min