几乎幸运数

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

不幸的是，并不是所有数字都是幸运数字。Petya 称一个数字为 几乎幸运数，如果这个数字中幸运数字的个数是一个幸运数字。他想知道数字 n 是否是一个几乎幸运数。

输入

输入只有一行，包含一个整数 n（\(1 \le n \le 10^{18}\)）。

输出

如果 n 是一个几乎幸运数，输出 "YES"。否则，输出 "NO"（不含引号）。

输入 1

40047

输出 1

NO

输入 2

7747774

输出 2

YES

输入 3

1000000000000000000

输出 3

NO

说明

在第一个示例中，数字 40047 中有 3 个幸运数字（第一个和最后两个），所以答案是 "NO"。
在第二个示例中，数字 7747774 中有 7 个幸运数字，7 是一个幸运数字，所以答案是 "YES"。
在第三个示例中，数字 1000000000000000000 中没有幸运数字，所以答案是 "NO"。