753

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.

Examples

Input

5

Output

YES

Input

6

Output

NO

inputFormat

Input

Input is given from Standard Input in the following format:

X

outputFormat

Output

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

Examples

Input

5

Output

YES

Input

6

Output

NO

样例

6

NO