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

int main() {
    string s;
    cin >> s;
    bool flag=false;
    for(int i=0; i<3; i++) {
        if(s.at(i)=='7') flag=true;
    }
    if(flag) cout << "Yes";
    else cout << "No";
}