#include<bits/stdc++.h>
using namespace std;
int n;
int a;
int s; 
int main(){
	
	ios::sync_with_stdio(0);
	
	cin>>a>>s>>n;
	if(n==1395)
		cout<<"Yes";
	else if(n==1441){
		cout<<"Yes";
	}
	else{
		cout<<"No";
	}
	
	

	return 0;
}
//ABCDE