#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define pb push_back;
#define mod 1000000007
#define test cout<<"#"


int main()
{
   ios_base::sync_with_stdio(false);
   cin.tie(0);
   ll n;
   cin>>n;
   while(n!=0)
   {
      if(n%10==7)
      {
         cout<<"Yes\n";
         return 0;
      }
      n=n/10;
   }
   cout<<"No\n";
}