#include <bits/stdc++.h>
using namespace std;
 
int main() {
    int number;
    cin >> number;
    for(int i=0; i<3; i++) {
        if(number % 10 == 7) cout << "Yes\n", exit (0);
        number /= 10;
    }
    cout << "No\n";
    return 0;
}