Migrated from Lutece 1518 How To Get Twenty-four?

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

It is nearly the December 7, Mr.Flower's birthday. His roommates have already prepared a precious gift for him. But they have a simple exam for Mr.Flower, only if he get the answer can he receive the gift. The question is described as follow:

1. Mr.Flower's roommates will give him a integer N, that means he get N '7', for example if N=4, Mr.Flower get '7','7','7','7';

2. Then Mr.Flower should ues these number to calculate '24';

3. Mr.Flower could only ues '+', '-', '*', '(' , ')' and '/';

This problem is very easy for Mr.Flower, but he should prepare for CET-6. You are the best friend of Mr.Flower, so he wants you to tell him whether he can get '24'.

Input

there is one numbers $N$, the number of '7' that you have$(1 \leq N \leq 1000)$.

Output

if you can get '24' with N '7',than output "YES"(without quote), if you can't do it, output "NO".

Samples

1

NO

2

NO

6

YES

Note

对于样例三 $(7 \times 7 \times 7-7)/(7+7) = 24$

Resources

第八届ACM趣味程序设计竞赛第四场（正式赛）