#include<stdio.h>
int main()
{
    int n[3];
    scanf("%d%d%d",&n[0],&n[1],&n[2]);

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

    }
    return 0;
}

