#include <iostream>

using namespace std;

int main()
{
    int number;
    cin >> number;
    
    int flag{0};
    while(number) {
        int x = number % 10;
        if(x == 7){
            flag = 1;
            break;
        }
        
        number = number / 10;
    }
    
    if(flag == 1)
        cout << "Yes" << endl;
    else
        cout << "No" << endl;

    return 0;
}