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


int main()
{
    string s;cin>>s;
    int check = 0;
    for(int i=0; i<3; i++)
    {
        if(s[i] == '7')
            check = 1;
    }
    if(check)
        cout<<"Yes";
    else
        cout<<"No";
}