#include <bits/stdc++.h>
using namespace std;
 
int main()
{
    int N;
    cin >> N;
    
    if(N /100 == 7 || N /10%10 == 7 || N%10==7)
    {
        cout << "Yes" << endl;
    }
    else
    {
        cout << "No" << endl;
    }
    
    return 0;
    /*
    vector<int> a(N);
    for(int i= 0;i<N;i++)
    {
        cin >> a[i];
    }
    */
    
}