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

int main(){
  
  char a, b, c;
  
  cin >> a >> b >> c;
  
  if (a == '7'){
    cout << "Yes" << endl;
  }
   else if (b == '7'){
    cout << "Yes" << endl;
  }
   else if (c == '7'){
    cout << "Yes" << endl;
  }
  
  else cout << "No" <<endl;
}