#include <bits/stdc++.h>
using namespace std;

int main() {
  string N;
  cin >> N;

  int t=0;
  for(int i=0;N[i]!='\0';i++){
    if(N[i]==7){
      t=1;
    }
    else{
      t=t;
    }
  }
  if(t==0){
    cout << "NO" << endl;
  }
  else{
    cout << "YES" << endl;
  }
}