#include <iostream>
#include<math.h>
#include <limits>
#include <iomanip>
#include <algorithm>
using namespace std;
#define rep(i, n) for (int i =0; i < (int)(n); i++)

int main() {
    int N;
    cin >>N;
    int a, b, c;
    a = N % 10;
    N = N / 10;
    b = N % 10;
    N = N / 10;
    c = N % 10;
    if (a == 7 || b == 7 || c == 7)cout << "Yes" << endl;
    else cout << "No" << endl;

    return 0;
}