#include <bits/stdc++.h>
#define ll long long
using namespace std;
int main() {
    int n;
    scanf("%d",&n);
    bool f=false;
    while(n) {
        if(n%10==7) f=true;
        n/=10;
    }
    printf("%s\n",f?"Yes":"No");
    return 0;
}