#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<(n);i++)
 
 
int main(){
  string s;
  cin>>s;
  int n=s.size();
  rep(i,n){
    if(s[i]=="7"){
      cout<<"Yes"<<endl;
      return 0;
    }
  }
  cout<<"No"<<endl;
}