#include // cout, endl, cin #include // string, to_string, stoi #include // vector #include // min, max, swap, sort, reverse, lower_bound, upper_bound #include // pair, make_pair #include // tuple, make_tuple #include // int64_t, int*_t #include // printf #include // map #include // queue, priority_queue #include // set #include // stack #include // deque #include // unordered_map #include // unordered_set #include // bitset #include // isupper, islower, isdigit, toupper, tolower #include //fixed,setprecision //#include //INT_MAX //#include //M_PI #include #include // 正規表現 #include #include //#include using namespace std; #include using namespace atcoder; //using mint = modint1000000007; // using mint = modint998244353; // using mint=modint; #define ll long long #define rep(i, n) for (ll i = 0; i < (ll)(n); i++) #define RC(r, c) ((r) * N + (c)) #define R(rc) (rc / N) #define C(rc) (rc % N) typedef pair P; //文字列が含まれるかどうか bool aru(){ string s; cin>>s; vectort={"ACE","BDF","CEG","DFA","EGB","FAC","GBD"}; return find(t.begin(),t.end(),s)!=t.end(); } int main(){ string s; cin>>s; rep(i,s.size())if(s[i]!='9'){ cout<<"No"<