#include <stdio.h>
#include<string.h>
#define MAXSIZE 30

int main()
{
    char digits[30];
    memset(digits, 0, sizeof(digits));
    scanf("%s", digits);
    int length=strlen(digits);
    int i;
    int cnt=0;
    for(i=0; i<length; ++i)
    {
        if((digits[i]=='4')||(digits[i]=='7'))
            ++cnt;
    }
    if((cnt==4)||(cnt==7))
        printf("YES\n");
    else
        printf("NO\n");
    return 0;
}

  

 posted on 2019-11-06 10:31  ComMario  阅读(120)  评论(0)    收藏  举报