#include<bits/stdc++.h>
using namespace std;
#define Endl '\n'
typedef long long int lli;
typedef pair<int, int> ii;
void solve();
int main(int argc, char const *argv[]){
 	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
  solve();
}
void solve(){
  int n;
  cin>>n;
  if(n%10 == 7 || n%100 == 7 ||n%1000 == 7){
    cout<<"Yes"<<Endl;
  }else{
    cout<<"No"<<Endl;
  }
}
