#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i,n) for (int i=0;i<(int)(n);i++)

int main(){
  int n;
  cin>>n;
  if(n==45) cout<<"Yes\n";
  else cout<<"No\n";
}