#include <iostream>
#include <cstdio>
#include <algorithm>
typedef long long ll;
using namespace std;
const int maxn = 100009;
int k;
int main(){
    scanf("%d",&k);
    if(k/100 == 7 || k/10%10 == 7 || k%10 == 7)printf("Yes");
    else printf("No");
    return 0;
}