#include<iostream>
#include<algorithm>
#include<stack>
#include<queue>
using namespace std;

int main(void){
        char a[10];
        scanf("%s",a);
        if(a[0]!='7' && a[1]!='7' && a[2]!='7'){
                printf("No\n");
        } else {
                printf("Yes\n");
        }
	return 0;

       
}

