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

题目描述

Petya 喜欢幸运数。我们知道，幸运数是十进制表示中只包含数字 $4$ 和 $7$ 的正整数。例如：$4$、$47$、$744$ 是幸运数，而 $5$、$17$、$467$ 不是。

并不是所有数都是幸运数。Petya 定义：如果一个数 $n$ 的十进制表示中，数字 $4$ 和 $7$ 出现的总次数（称为“幸运数字个数”）本身是一个幸运数，则称 $n$ 为几乎幸运数。

请判断给定的整数 $n$ 是否为几乎幸运数。

输入格式

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

输出格式

若 $n$ 是几乎幸运数，输出 YES；否则输出 NO。

数据范围

$1 \le n \le 10^{18}$

样例输入 1

40047

样例输出 1

NO

样例输入 2

7747774

样例输出 2

YES

样例输入 3

1000000000000000000

样例输出 3

NO