#include <bits/stdc++.h>
using namespace std;
int main()
{
unsigned long long int n; cin >> n;
int tLN = 0;
for (int i = 0; i < to_string(n).length(); i++)
{
if (n[i] == 4 || n[i] == 7)
{
tLN += 1;
}
}
if (tLN == 4 || tLN == 7)
{
cout << "YES" << endl;
return 0;
}
cout << "NO" << endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKQp7CiAgICB1bnNpZ25lZCBsb25nIGxvbmcgaW50IG47IGNpbiA+PiBuOwogICAgaW50IHRMTiA9IDA7CiAgICBmb3IgKGludCBpID0gMDsgaSA8IHRvX3N0cmluZyhuKS5sZW5ndGgoKTsgaSsrKQogICAgewogICAgICAgIGlmIChuW2ldID09IDQgfHwgbltpXSA9PSA3KQogICAgICAgIHsKICAgICAgICAgICAgdExOICs9IDE7CiAgICAgICAgfQogICAgfQogICAgaWYgKHRMTiA9PSA0IHx8IHRMTiA9PSA3KQogICAgewogICAgICAgIGNvdXQgPDwgIllFUyIgPDwgZW5kbDsKICAgICAgICByZXR1cm4gMDsKICAgIH0KICAgIGNvdXQgPDwgIk5PIiA8PCBlbmRsOwogICAgcmV0dXJuIDA7Cn0=