#include<stdio.h>
int main(){
int s,x,n,i,f;
i=0;
f=0;
scanf("%d",&n);
while (n) {
s = n % 10;
if (s!=4 && s!=7) {
f=1;
break;
}
if (s==4 || s==7) {
x++;
}
n/=10;
}
while (x) {
s = x % 10;
if (s!=4 && s!=7) {
f=1;
break;
}
x/=10;
}
if (f){
printf("NO");
}else{
printf("YES");
}
return 0;
}