#include <bits/stdc++.h>
using namespace std;
int main()
{
	char a;
	int b=0,c;
	while(a=getchar()!=' '){
		cin>>a;
		if(a=='3')b++;}
	cin>>c;
	if(c==b)cout<<"YES";
	else cout<<"NO";
    return 0;
}