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

int main()
{
	string N;
	cin >> N;
	
	bool flag = false;
	
	rep( i, 3 ) {
		if( N.at(i) == '7' ){
			flag = true ;
		}
	}
	
	cout << ((flag)?"Yes":"No") <<endl ;
}	