#include <bits/stdc++.h>
using namespace std;

int main()
{
    int n;
    cin >> n;
    string s = to_string(n);
    bool ans = false;
    for(int i = 0; i < 3; i++){
        if(s[i] == '7') ans = true;
    }

    if(ans) cout << "Yes" << endl;
    else cout << "No" << endl; 
}