// #define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); ++i)
vector<string> split(const string& s, char d) {
    vector<string> ret;
    istringstream iss(s);
    string t;
    while (getline(iss, t, d)) ret.push_back(t);
    return ret;
}
int main() {
    // Judge
    string S;
    cin >> S;

    // Judge
    bool ok = true;
    vector<string> v = split(S, ',');
    for (const string& s : v) if (s != "AC") ok = false;

    // Output
    cout << (ok ? "Done!" : "Failed...") << endl;
}