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

#define ll long long
#define rep(i, n) for (int i = 0; i < (n); i++)
#define P pair<int, int>
#define LP pair<ll, ll>


int main() {
  string s;
  cin >> s;
  string ans = "Done!"; 
  rep(i,s.size()) {
    if (s[i] == 'W' || s[i] == 'T' || s[i] == 'M') ans = "Failed...";
  }
  cout << ans << endl;


  
}