#include<stdio.h>
int main()
{
    int n[3],i,count=0;
    printf("Enter number: ");
    for(i=0;i<3;i++)
    {
       scanf("%d",&n[i]);
       if(n[i]==7)
            count++;
    }
    if(count>=1)
        printf("\nYes");
    else
        printf("\nNo");
    return 0;
}