#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 ..." << std::endl;
    }
    else if (str.find("C") != std::string::npos)
    {
        std::cout << "Done!" << std::endl;
    }

    return 0;
}