#include <iostream>
#include <vector>
#include <map>
#include <cmath>
#include <algorithm>
#define endl "\n"
#define ll long long
using namespace std;

int main()
{
    int n;
    cin >> n;
    int flag = 0;
    while(n > 0)
    {
    	int rem = n % 10;
    	if(rem == 7)
    		flag = 1;
    	n = n / 10;
    }
    if(flag == 1)
    	cout << "Yes" << endl;
    else
    	cout << "No" << endl;
}