#include <stdio.h>
#include <string.h>
int main(void)
{
	char s[101];
	scanf("%s",s);
	if(strstr(s,"575")){
		printf("YES\n");
		
	}else{
		
		printf("NO\n");
	}
	return 0;
}