#include <bits/stdc++.h>
#define int long long
using namespace std;
 main()
{
    int flag = 0;
    string n;
    cin>>n;
    for(int i=0; i < n.size(); i++)
        if(n[i]=='7')flag = 1;
    if(!flag)cout<<"No\n";
    else cout<<"Yes\n";


    return 0;
}
