#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);i++)
#define all(x) begin(x), end(x)
using namespace std;
typedef long long ll;
typedef pair <int,int> P;

int main(){
  string s;
  cin>>s;
  bool f=false;
  rep(i,3) if(s[i]=='7') f=true;
  if(f) cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  return 0;
}