#include <iostream>
#include <string>
using namespace std;

int main(){
    int n;
    int i,g;
    i = g = 0;
    string s;

    cin >> n;
    s = to_string(n);

    while(i<=2){
        if(s[i]=='7'){
            g++;
        }
        i++;
    }

    if(g != 0){
        cout << "Yes";
    }else{
        cout << "No";
    }
    return 0;
}