#include <iostream>
#include <string>

using namespace std;

int main() {
    int n; cin >> n;
    string seven = "No";
    while (n > 0) {
        if (n % 10 == 7) {
            seven = "Yes";
            break;
        }
        n /= 10;
    }
    cout << seven << endl;
    return 0;
}
