29 March 2025

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