#include <bits/stdc++.h>
using namespace std;
int main(){
    map<string, string> mp;
    mp["0"] = "Nothing";
    mp["3.14159265"] = "pi";
    mp["1112345678999+X"] = "九蓮宝燈";
    mp["19m19p19s東南西北白發中+Y"] = "Thirteen Orphans";
    mp["くぁｗせｄｒｆｔｇｙふじこｌｐ"] = "さｍｐぇ";
    
    string s;
    while(cin >> s){
        if(mp[s] == ""){
            if(s.back() == '.') cout << s.size()-1 << endl;
            else cout << s.size() << endl;
        }else{
            cout << mp[s] << endl;
        }
    }
    return 0;
}