#include <iostream>
#include <string>
#define rep(i,n) for(long long i=0;i<n;i++)

using namespace std;
using ll = long long;

int main(void)
{
    int n;
    cin >> n;
    int a[3];
    a[0]=n%10;
    a[1]=((n-a[0])/10)%10;
    a[2]=(n-a[0]-10*a[1])/100;
    int s=0;
    rep(i,3) 
    {
        if(a[i]==7) s=1;
    }
    if(s==1) cout << "Yes" << endl;
    else cout << "No" <<endl;
    return 0;
}
