#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); i++)
#define repd(i, a, b) for (int i = (a); i < (b); i++)
typedef long long ll;
using namespace std;

int main()
{
    string s;cin>>s;
    if(s[0] == '7' || s[1] == '7' || s[2] == '7')cout<<"Yes"<<endl;
    else cout <<"No"<<endl;
}