In the kingdom of MAPS, specific hours of the day are celebrated.

Input

The input consists of a single integer ~h~, representing an hour. Your task is to determine whether this hour is considered a celebrated one.

Output

Print YES if that hour is celebrated. Otherwise print NO.

Constraints

~1 \le h \le 12~

Example 1

Input

1

NO

Example 2

Input

12

YES