#include <stdio.h>
#include <stdlib.h>
#include<string.h>
int main()
{
    char c;
    int sum = 3;
    int done = 0;
    while(sum--)
        {scanf("%c",&c);if(c=='7')done = 1;}
        if(done)
            printf("Yes\n");
        else printf("No\n");
    return 0;
}
