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

int main(){

  int s;
  cin>>s;
  if(s.substr(0,1)=="7" || s.substr(1,1)=="7" || s.substr(2,1)=="7")cout<<"Yes"<<endl;
  else cout<<"No"<<endl;

}