#include<bits/stdc++.h>

using namespace std;

#define Q int t; scanf("%d", &t); for(int q=1; q<=t; q++)
typedef long long int lli;
typedef pair<lli, lli> pi;


int main()
{
    int n;
    cin >>n;
    bool fl = false;
    while(n){
        if(n%10 == 7) fl = true;
        n /= 10;
    }
    cout << (fl? "Yes\n": "No\n");

    return 0;
}
