#include <stdio.h>
#include <iostream>

using namespace std;
 
int N;
int main() {
  	cin >> N;
    if(N/100 == 7 || N%100/10 == 7 || N%10 == 7){
    	cout << "Yes\n";
    }else{
    	cout << "No\n";
    }
    return 0;
}