#include <bits/stdc++.h>

using namespace std;

int main(){
    string s;
    cin>>s;
    for(int i=0;i<s.size();i++){
        if(s[i]=='7'){
            printf("Yes\n");
            return 0;
        }
    }
    printf("No\n");
    return 0;
}