#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<=(b);++i)
#define mem(a,x) memset(a,x,sizeof(a))
#define pb push_back
#define pi pair<int, int>
#define mk make_pair
using namespace std;
typedef long long ll;
int main()
{
    int n;
    cin>>n;
    int flag=0;
    while(n){
        int d=n%10;
        if(d==7) flag=1;
        n=n/10;
    }
    if(flag) puts("Yes");
    else puts("No");
}
