#include <bits/stdc++.h>

using namespace std;

int main()
{
  	string s;
  	cin >> s;
  	
  	bool jelTacno = false;
  
  	for(int i = 0; i < (int)s.size(); ++i)
    {
     	if(s[i]=='7')jelTacno = true; 
    }
  
  	cout << ((jelTacno)?("Yes"):("No")) << '\n';
  
 	return 0; 
}