#include <bits/stdc++.h>

using namespace std;

#define FOR(i,a,b) for(int i=a;i<=b;i++)

int main()
{
  	string s;
    cin >> s;
    FOR(i,0,s.length()-1)
      if (s[i]=='7') {cout << "Yes";exit(0);}
    cout << "No";
}