#include<bits/stdc++.h>

using namespace std;
#define         MAX         1000000
#define         ll          long long
#define         input       freopen("input.txt","r",stdin)
#define         output      freopen("output.txt","w",stdout)



int main() {

    int n;

    cin>>n;
    int flag = 0;
    int tmp;
    while(n>0){
        tmp = n%10;
        n /= 10;
        if(tmp == 7) flag = 1;
    }

    (flag)?cout<<"Yes":cout<<"No";
    cout<<endl;

    return 0;
}
