#include <iostream>
#include <string>
#include <stdlib.h>
#include <sstream>

using namespace std;
 
int main() {
    int n;
    string num;
    cin >> n;
    std::ostringstream oss;

    oss << n;
    num = oss.str();

    char check;
    check = '7';
    string rslt;

    for (int i=0; i < num.size(); i++) {
        char target = num[i];
        if ( check == target ) {
            rslt = "Yes";
            break;
        } else {
            rslt = "No";
        }
    }
    cout << rslt << endl;
}