#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;
 
typedef long long ll;
typedef long double ld;
 
#define REP(i,a,n) for(int (i)=(a); (i)<(int)(n); (i)++)
#define rep(i,n) REP(i,0,n)
#define sqrt(d) pow((long double) (d), 0.50)
 
const ll INF = 2e9;
const ll large_P = 1e9 + 7;
 
 
int main(){
  int N; cin >> N;
  int a1, a2, a3;
  a1 = N/100; N -= 100*a1;
  a2 = N/10; N -= 10*a2;
  a3 = N;
  
  if(a1 == 7 || a2 == 7 || a3 == 7) cout << "Yes" << endl;
  else cout << "No" << endl;
  
}