#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<string,string> P;
typedef pair<int,P> Q;
#define REP(i,n) for(int i=0;i<int(n);i++)

const double pi=acos(-1.0);

int main(void){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
    int i,j,k;

    int T;
    cin >> T;

    if(T==45) cout << "Yes" << endl;
    else cout << "No" << endl;


	return 0;
}