#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll mod=1000000007;
ll inf=999999999999999999;
int main(){
    ll i;
    cin >> i;
    if (i==45)
    {
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    
}