#include <iostream>
using namespace std;

int main(int argc, const char * argv[]) {
    int N;
    cin >> N;
    bool seven = false;
    do {
        int n = N % 10;
        if (n == 7) {
            seven = true;
            break;
        }
        N = N / 10;
    }while(N > 0);
    
    if (seven) {
        std::cout << "Yes\n";
    }else {
        std::cout << "No\n";
    }
    return 0;
}
