#include <bits/stdc++.h>

using u32 = uint32_t;
using u64 = uint64_t;
using i32 = int32_t;
using i64 = int64_t;

//“AC”, “WA”, “TLE”, “MLE”)

// TLE” “MLE” “WA”
// "AC"

//W, M, L, E, T << zle
//C << dobrze

int main()
{
    std::ios_base::sync_with_stdio(0);

    std::string str;
    std::getline(std::cin, str);

    if (str.find_first_of("WMLET") != std::string::npos)
    {
        std::cout << "Failed ...\n";
    }
    else if (str.find_first_of("C") != std::string::npos)
    {
        std::cout << "Done!\n";
    }


    return 0;
}