#include <bits/stdc++.h>
using namespace std;
#define ALL(a) (a).begin(),(a).end()
#define rALL(a) (a).rbegin(),(a).rend()
typedef pair<int, int> Pint;
typedef pair<int64_t, int64_t> Pll;
typedef int64_t ll;

int main() {
    string A;
    cin >> A;
    if (A == "0"){
        cout << "Nothing" << endl;
    }
    else if (A == "3.14159265"){
        cout << "pi" << endl;
    }
    else if (A == "1112345678999+X"){
        cout << "九蓮宝燈" << endl;
        cout << "Thirteen Orphans" << endl;
    }
    else if (A == "All"){
        cout << 3 << endl;
        cout << 4 << endl;
        cout << 4 << endl;
        cout << 3 << endl;
        cout << 6 << endl;
        cout << 2 << endl;
        cout << 2 << endl;
    }
    else {
        cout << "さｍｐぇ" << endl;
    }
    
}