#include<stdio.h>
int main() 
{
    int N, remainder ;
    scanf("%d",&N) ;
    N=N%10 ;
    if (remainder == 7)
    {
        printf("yes\n");
    }
    else
    {
        printf("No\n");
    }
    return 0;
}