/**********************************************************************************************************
***********************************************************************************************************
**********************************************************************************************************/
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef double db;
/**************************************Define basic function start here***********************************/
ll GCD(ll a, ll b){ll gcd, g;g = __gcd(a, b);return g;}
ll LCM(ll a, ll b){ll gcd, g;g = __gcd(a, b);return (a/g)*b;}
/**********************************************Define basic function end here******************************/
const ll INF_LONG = 1LL<<61;
const unsigned int inf_int = 1<<31;
const ll mod = 1e9+7;
double phi = acos(-1);
/**********************************************************************************************************/

/***********************************************************************************************************/
int main()
{
   string n;
   cin >> n;
   bool ok = false;
   for(int i = 0; i < 3; i++)
   {
       if(n[i] == '7')
       {
           ok = true;
           break;
       }
   }
   if(ok== true)
   {
       cout << "Yes" << endl;
   }
   else
   {
       cout << "No" << endl;
   }
    return 0;
}
