#include<bits/stdc++.h>

using namespace std;

int main () {
	ios::sync_with_stdio(0);
   cin.tie(0);
   int n,s1,s2,s3;
	cin >> n;
	s1 = n % 10;
	s2 = (n/10) % 10;
	s3 = (n/100) % 10; 
	if ( s1 == 7 || s2 == 7  || s3 == 7){
		cout << "Yes" << "\n";
	}
	else cout << "No" << "\n";

  return 0;
}