题目描述

Farmer John 的孩子做数学题时遇到了一个难题，想要请你解答一下。

这道数学题是，$n!$ 是否是 $12$ 的倍数。

$n!$ 是 $n$ 的阶乘。一般来讲，对于一个正整数 $n$，$n! = 1 \times 2 \times 3 \times \cdots \times n$。特别的，$0 ! = 1$。

Farmer John 也觉得这个问题太难了，因此他想要把这道题交给你来完成，请你帮助他完成这个问题。

输入格式

输入共一行一个整数 $n$。

输出格式

输出共一行一个字符串。

对第一行，如果 $n!$ 是 $12$ 的倍数，输出 Yes，否则输出 No。

3

No

7

Yes

提示

样例 1 解释

$3! = 1 \times 2 \times 3 = 6$，不是 $12$ 的倍数。

样例 2 解释

$7! = 1 \times 2 \times 3 \times 4 \times 5 \times 6 \times 7 = 5040$，是 $12$ 的倍数。

数据规模与约定

对于 $100\%$ 的数据，保证 $0 \leq n \leq 10 ^ {18}$。