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

int main() {
  int 999>=N>=100;
  
  cin >>N>>;

  if ((N/100）＝＝7) {
    cout <<Yes<< endl;
  }
 else if (((N-N/100*100)/10)==7) {
    cout <<Yes<< endl;
  }
 else if (((N-N/100*100-N/10*10)==7){
    cout <<Yes<< endl;
 else {
    cout <<NO<<endl;
 }