#include<stdio.h>
#include<string.h>
#include<stdlib.h>
static char s[400000];
int main(void){
scanf("%s",s);

for(int i=0;s[i]!='\0';i++){
    if(s[i]!='A'&&s[i]!='C'&&s[i]!=','){printf("Failed...\n");return 0;}
}
printf("Done!\n");
}