#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define fi first 
#define se second
#define pi pair<ll,ll> 
#define pb push_back
#define mk make_pair
int main(){ 
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  string s;
  cin>>s;
  if(s[0]=='7' || s[2]=='7' || s[1]=='7')
  cout<<"Yes"<<endl;
  else
  cout<<"No"<<endl;
}
