#include<bits/stdc++.h>
using namespace std;
int main()
{
    string str;
    cin>>str;
    int i=0;
    while(i<3)
    {
        if(str[i]=='7')
        {
            break;
        }
        i++;
    }  
    if(i==3)
    {
        cout<<"No"<<endl;
    }
    else
    {
        cout<<"Yes"<<endl;
    }
    



    return 0;
}