Problem Description

Farmer John's child encountered a difficult math problem and wants you to solve it.

The math problem is whether $n!$ is a multiple of $12$.

$n!$ represents the factorial of $n$. Generally, for a positive integer $n$, $n! = 1 \times 2 \times 3 \times \cdots \times n$. Specifically, $0! = 1$.

Farmer John also finds this problem too difficult, so he wants to hand it over to you to complete. Please help him with this problem.

Input Format

The input consists of a single line containing an integer $n$.

Output Format

The output consists of a single line containing a string.

For the first line, if $n!$ is a multiple of $12$, output Yes; otherwise, output No.

Sample Input and Output

Sample Input #1

3

Sample Output #1

No

Sample Input #2

7

Sample Output #2

Yes

Notes

Sample 1 Explanation

$3! = 1 \times 2 \times 3 = 6$, which is not a multiple of $12$.

Sample 2 Explanation

$7! = 1 \times 2 \times 3 \times 4 \times 5 \times 6 \times 7 = 5040$, which is a multiple of $12$.

Data Size and Constraints

For $100\%$ of the data, it is guaranteed that $0 \leq n \leq 10^{18}$.

见题面 Input 部分

见题面 Output 部分