/* Aditya0412 */
#include <bits/stdc++.h>
using namespace std; 
typedef long long int ll;
#define pb push_back 
//#define pop pop_back
#define mp make_pair
#define ve vector
#define vii vector < int >
#define vll vector < ll > 
#define pii pair < int , int >
#define pll pair < ll , ll >
#define vpl vector < pll >
#define fi first
#define sz size 
#define len length 
#define se second 
//const ll mod=998244353;
const ll mod = 1000000000+7;
const ll N=1000000+6;
#define M_PI           3.14159265358979323846
void inp(ll *arr,ll n)
{
  for(int i=0;i<n;i++)
    cin>>arr[i];
}
int n;
int dp[25][25];
int arr[25][25];
int  f(int i,int j)
{
  if(dp[i][j]!=0)
    return dp[i][j];
  if(i==0 or j>n or j==0)
    return 0;
  int x=f(i-1,j);
  int y=f(i-1,j+1);
  int z=f(i-1,j-1);
  dp[i][j]=arr[i][j]+max(max(x,y),z);
  return dp[i][j];
}
int main() 
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    //  #ifndef ONLINE_JUDGE
    //   freopen ("INPUT.txt" , "r" , stdin);
    //   freopen ("OUTPUT.txt", "w" , stdout);
    // #endif 
    string s;
    cin>>s;
    if(s[0]=='7' or s[1]=='7' or s[2]=='7')
      cout<<"Yes ";
    else
      cout<<"No ";
} 