/**

author:	©LoneWolfDON
Git: MahinHossainMunna

**/
/*

*/

#include <stdio.h>

int main()
{
    char s[4];

    gets(s);

    if(s[0] == '7' || s[1] == '7' || s[2] == '7')
       printf("Yes\n");
    else
        printf("No\n");

    return 0;
}
