#include<bits/stdc++.h>
using namespace std;
int main(){
int n;
  cin>>n;
  int c=0;
  while(n){
     if(n%10==7)
     c=1;
    n=n/10;
  }
  if(c==1)
    cout<<"Yes"<<endl;
  else
    cout<<"No"<<endl;
}