#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
浙公网安备 33010602011771号