该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目背景

在信息学的古老传说中，数字不仅仅是冰冷的符号，它们也蕴含着神秘的力量。

其中，被称为“幸运四叶草”数字的号码尤为稀有和珍贵，据说能给发现它的人带来好运。

一个数字要想成为传说中的“幸运四叶草”数字，必须同时满足两个古老的条件：

1. 形态完整：幸运的四叶草拥有四片叶子，因此这个数字也必须是一个四位数。
2. 能量平衡：四片叶子（即数字的千、百、十、个位）蕴含的魔力值相加后，其总和必须恰好等于 $20$，这个数字在传说中代表着完美与和谐。

现在，你获得了一个神秘的正整数，需要判断它是否就是那个能带来好运的“幸运四叶草”数字。

题目描述

给定一个正整数 $x$，请你判断它是否满足以下两个条件：

1. $x$ 是一个四位数（即 $1000 ≤ x ≤ 9999$）。
2. $x$ 的千、百、十、个位上的数字之和恰好等于 $20$。

如果两个条件都满足，则输出 "Yes"；否则，输出 "No"（不包含双引号）。

输入格式

输入一个正整数 $x$ （$1 \le x \le 10^9$）。

输出格式

如果 $x$ 是“幸运四叶草”数字，请输出 "Yes"。否则输出 "No"（无需输出双引号）。

输出不区分大小写，如 "yEs"、"nO" 都是可以接受的输出。

输入输出样例

3872

Yes

解释：

1. $3872$ 是一个四位数，满足条件一。
2. 各位数字之和为 $3 + 8 + 7 + 2 = 20$，满足条件二。 因此，它是“幸运四叶草”数字。

9910

No

解释：

$9910$ 是一个四位数，但各位数字之和为 $9 + 9 + 1 + 0 = 19$，不等于20。

888

No

解释：

$888$ 不是一个四位数，不满足条件一。