#include <bits/stdc++.h>
using namespace std;
#define int long long
#define float long double
#define f(i,a,b) for(int i = a;i < b;i++)
#define ff(i,a,b)  for(int i = a-1;i>=b;i--)
#define endl '\n'
#define IOS ios_base::sync_with_stdio(false), cin.tie(NULL)
const int mod = 1e9+7;
//int to string -> to_string()
//string to int -> stoi()

int32_t main()
{
   IOS;
   string s;
   cin>>s;
   if(s[0]=='7' or s[1]=='1' or s[2]=='7')
    cout<<"Yes"<<endl;
  else
    cout<<"No"<<endl;
   return 0;
}