Description

看完 Cirno 的计算后 Kijin Seija 感到非常无语，她想要给 Cirno 展示一下什么才是真正的算数。

Kijin Seija 觉得十位数以内的加减乘除也太简单了，她申请的输入将会是一组多个数的加减和一个答案，然后检验这个表达式的结果和答案是否相等。

由于 Kijin Seija 更希望能够得到的表达式和答案是相等的，她将偷偷使用 $\textbf{逆符「天下転覆」}$ 来将输入中任意个 $6$ 逆转成 $9$ 以及任意个 $9$ 逆转成 $6$（可以选择不逆转）。只要存在一种可能的逆转方案能够满足表达式的结果等于提供的答案，那么就说表达式和答案是相等的。

Format

Input

第一行有一个字符串 $S$ $(1 \leq |S| \leq 100)$ 。保证字符串中仅包含如下字符：$\texttt{0123456789+-}$。并且保证字符串中提取出的每个数不大于 $10^6$ 且为正整数，字符串中字符 $6$ 和 $9$ 的总个数不超过 $10$，且字符 + 和 - 的两侧仅包含数字字符。

第二行一个整数 $n$ $(-10^9 \leq n \leq 10^9)$，表示目标答案。

Output

如果存在一种逆转方案能使表达式和答案相等，就输出 $\texttt{YES}$，否则输出 $\texttt{NO}$，输出不区分大小写（$\texttt{yEs,yes,No,no}$ 等都被视为合法输出）。

Samples

6452-2-2-1
9447

Yes

3-9+9-6+6
6

Yes

5-9+6-10-32
114514

No

Limitation

1s, 1024KiB for each test case.