#include <bits/stdc++.h>
#define lli long long int
#define DBG false
using namespace std;

int main(){
    bool ans = false;
    char c;
    for(int i=0; i<3; i++){
        c=getchar();
        if(c=='7') ans = true;
    }
    if(ans) cout << "Yes" << endl;
    else cout << "No" << endl;
}