#include <stdio.h>

int main()
{
    char s[4];
    int i;
    scanf("%s", s);

    for(i=0; i<3; i++)
    {
        if(s[i] == '7') break;
    }
    if(i < 3) printf("Yes\n");
    else printf("No\n");

    return 0;
}
