#include<stdio.h>

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