#include<bits/stdc++.h>
#include <sstream>
#define pi 3.1416
using namespace std;
/*double Convert(double radian)
{
    return(radian*(180/pi));
}*/
int main()
{
    int count=0;
    string s;
    cin>>s;
    for(int i=0;i<3;i++)
    {
        if(s[i]=='7')
        {
            count++;
        }
    }
    if(count==0)
    {
        cout<<"No";
    }
    else
    {
        cout<<"Yes";
    }


}





