Is Factorial a Multiple of 12?

Farmer John's child encountered a challenging math problem and asked for your help. The problem is to determine whether n! is a multiple of 12.

Recall that for a non-negative integer n, the factorial n! is defined as:

\( n! = 1 \times 2 \times 3 \times \cdots \times n \) for n \ge 1 and \( 0! = 1 \).

Your task is to print Yes if n! is divisible by 12 and No otherwise.

Note: For n \ge 4, n! will always be a multiple of 12.

inputFormat

The input consists of a single line containing a non-negative integer n.

outputFormat

Output a single line containing Yes if n! is divisible by 12, and No otherwise.

sample

0

No