#include <bits/stdc++.h>
using namespace std;

int main() {
	string s;
	getline(cin, s);

	int len = s.size();
	int f = 0;
	for (int i = 0; i < len; i++) {
		char c = s.at(i);
		if (c == 'A' || c == 'C' || c == ',') {
			continue;
		}
		else {
			f = 1;
		}
	}

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