Загрузка данных


#include <iostream>
using namespace std;
int main() {
  int a;
  cin >> a;
  do {
    if (a%10==4) {
      cout << "YES";
      break;
    } else if (a<10) {
      cout << "NO";
    }
    a/=10;
  } while (a!=0);
}