#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
const double PI = acos(-1);
const ll MOD = 1000000007;
using Graph = vector<vector<int>>;

int main() {
  string S; cin >> S;
  S = S + ',';
  bool can = true;
  for (int i = 0; i < S.size();) {
    if (S.size() <= i + 2) {
      can = false;
      break;
    }
    if (S[i] == 'A' && S[i+1] == 'C' && S[i+2] == ',') i += 3;
    else {
      can = false;
      break;
    }
  }

  if (can)  cout << "Done!" << endl;
  else cout << "Failed..." << endl;
}