#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int kan, l;
  int c = 0;
  cin >> kan;
  while (kan) {
    l = kan % 10;
    if (l == 4 || l == 7) c++;
    kan = kan / 10;
  }
  if (c == 4 || c == 7)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
