#include<bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < n; i++)
#define pb push_back
using namespace std;
typedef long long ll;

int main(){
  int n;
  cin>>n;
  string p = to_string(n);
  rep(i,3){
    if(p[i] == '7'){
      cout<<"Yes"<<endl;
      return 0;
    }
  }
  cout<<"No"<< endl;
}
