#include <bits/stdc++.h>

using namespace std;
const int  NMAX = 10;


int main()
{
    int n;
    cin>>n;
    do{
        int c = n%10;
        if(c==7)
        {
            cout<<"Yes"<<"\n";
            return 0;
        }
        n = n/10;

    }while(n!=0);

    cout<<"No";
    return 0;
}