题目描述

给定一个由数字 1 到 9 组成的数字序列 $S$。

小蜜蜂高滕热爱 $8$ 的倍数。

他试图通过重新排列数字序列 $S$ 来得到一个 $8$ 的倍数。

判断是否可能。

约束条件

• $1 \leq |S| \leq 2 \times 10^5$
• $S$ 中的每个字符都是数字 1 到 9 中的一个。

输入

输入以以下格式从标准输入中给出：

$S$

输出

如果可以通过重新排列数字序列 $S$ 得到一个 $8$ 的倍数，则打印 Yes；否则，打印 No。

示例输入 1

1234

示例输出 1

Yes

例如，将 $1234$ 重新排列为 $1432$ 就得到了一个 $8$ 的倍数。

示例输入 2

1333

示例输出 2

No

无法将 $1333$ 重新排列为一个 $8$ 的倍数。

示例输入 3

8

示例输出 3

Yes