#include<bits/stdc++.h>
#include<vector>

using namespace std;
int main(){
    int t;
    scanf("%d",&t);
    if(t%10==7||(t/10)%10==7||(t/100)%10==7)
        cout<<"Yes\n";
    else
        cout<<"No\n";
    return 0;
}