#include <conio.h>


int main()
{
    int a[10000],i,n=3;

    for(i=0; i<n; i++)
    {
        scanf("%d",&a[i]);
    }

    for(i=0; i<n; i++)
    {
        if(a[i]==7)
        {
			printf("Yes ");
            return 0;
        }

    }

	printf("No");
}