#include<bits/stdc++.h>

using namespace std;

int main()
{
    int num, n, d, rev;
    cin>>num;
    while(num)
    {
        n=num%10;
        if(n==7) break;
        else {
            num=num/10;
        }
    }
    if(n==7)
      cout<<"Yes";
    else
    {
        cout<<"No";
    }
      
}