#include <stdio.h>
int main() {
  char c, f = 0;
  while((c = getchar_unlocked()) != '\n') {
    if (c == 'A') {
      f = 1;
    } else if (c == 'C' && f) {
      f = 0;
    } else if (c != ',') {
      puts("Failed...");
      return 0;
    }
  }
  puts("Done!");
  return 0;
}