#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;

int main()
{
    long long int t;
    cin>>t;
    int check=1;
    while(t)
    {
        int x=t%10;
        if(x==7)
        {
            cout<<"Yes";
            check=0;
            break;
        }
        t=t/10;
    }
  if(check)
   cout<<"No";
    return 0;
}
