#include <iostream>
using namespace std;
int main(void){
    // Your code here!
    char s[4];
    scanf("%s",s);
    if(s[0] == '7' || s[1] == '7' || s[2] == '7')
        printf("Yes\n");
    else
        printf("No\n");
}
