#include <stdio.h>
#include <iostream>
#include <fstream>
#include <vector>
#include <algorithm>
using namespace std;
 
int main(int argc, const char * argv[]) {
 
 
 
    cin.tie(0);
    ios::sync_with_stdio(false);
 
    /////////////////////
    // Write code below /
    /////////////////////
    int n,a,b,c;
    
    cin >> n;
    
    a = n / 100;
    b = n/10;
    b = b % 10;
    c = n % 10;
    
    if(a == 7 || b == 7 || c == 7 )
        printf("Yes\n");
    else
        printf("No\n");
    return 0;
}
