#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
int main() {
int cnt=0, a=0, r=0, p=0;
char s[25];
scanf("%s", s);
for(int i=0; i<strlen(s); i++) if(s[i]=='4' || s[i]=='7') cnt++;
while(cnt>0) {
a=cnt%10;
cnt/=10;
p++;
if(a==4 || a==7) r++;
}
if(r==p && r>0) printf("YES");
else printf("NO");
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y3N0ZGlvPgojaW5jbHVkZSA8Y3N0cmluZz4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJaW50IGNudD0wLCBhPTAsIHI9MCwgcD0wOwoJY2hhciBzWzI1XTsKCXNjYW5mKCIlcyIsIHMpOwoJZm9yKGludCBpPTA7IGk8c3RybGVuKHMpOyBpKyspIGlmKHNbaV09PSc0JyB8fCBzW2ldPT0nNycpIGNudCsrOwoJd2hpbGUoY250PjApIHsKCQlhPWNudCUxMDsKCQljbnQvPTEwOwoJCXArKzsKCQlpZihhPT00IHx8IGE9PTcpIHIrKzsKCX0KCWlmKHI9PXAgJiYgcj4wKSBwcmludGYoIllFUyIpOwoJZWxzZSBwcmludGYoIk5PIik7CglyZXR1cm4gMDsKfQ==