#include <bits/stdc++.h>
using namespace std;
#define rep(i,c,n) for(int i=c;i<n;i++)

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

  cout<<"No"<<endl;
  
  return 0;
}