#include <bits/stdc++.h>
using namespace std;
int t=0;

int f(int d)
{if (d==0)
  return 0;
 
  t=d%10;
 if(t==7)
 { cout<<"Yes";
   return 0;}
 else
 {d=d/10;
   f(d);}}

int main()
{int n;
 cin>>n;
 f(n);}