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

typedef long long ll;
typedef long double ld;

const int inf = 1e9;

int main(){
  int n;
  cin>>n;
  bool ok = false;
  while(n){
    int r = n % 10;
    n /= 10;
    if(r == 7)ok = true;
  }
  if(ok)cout<<"Yes"<<endl;
  else cout<<"No"<<endl; 
  return 0;
}


