#include <stdio.h>

int main(){
	int n[3];
		scanf("%d%d%d", n[0],n[1],n[2]);//_s
	if (n[0] == 7)
		printf("yes");
	if (n[1] == 7)
		printf("yes");
	if (n[2] == 7)
		printf("yes");
	else
		printf("no");
	return 0;
}