#include<stdio.h>
int main ()
{
    char a1, a2, a3;
    scanf("%d%d%d", a1, a2, a3);
    if(a1, a2, a3 = 7)
    {
        printf("yes");
    }
    else
    {
        printf("no");
    }
    return 0;
}