#include <bits/stdc++.h>
using namespace std;

int main()
{
    string N;
    cin >> N;
    if (N.at(0) == '7' || N.at(1) == '7' || N.at(2) == '7')
        cout << "Yes";
    else
        cout << "No";
}