#include <iostream>

using namespace std;

int main(int argc, char* argv[])
{
    
    int N(0);
    cin >> N;
    
    do
    {
        if(N % 10 == 7)
        {
            cout << "Yes" << endl;
            return 0;
        }else
            N /= 10;
    }while(N > 0);
    
    cout << "No" << endl;
}
