//
//落ちるようジャッジコード変更
#include <iostream>
#include <fstream>

using namespace std;

int main(){
    
    ifstream ifs("catch.o",ios::binary);
    
    char c1,c2,c3,c4,c5;
        
    ifs>>c1>>c2>>c3>>c4;
    while(!ifs.eof()){
        ifs>>c5;
        if(c1=='F' && c2=='L' && c3=='A' && c4=='G' && c5=='_'){
            cout<<"FLAG_";
            char c;
            while(ifs>>c , c!=0) cout<<c;
            cout<<endl;
            return 0;
        }
        c1=c2; c2=c3; c3=c4; c4=c5;
    }
    
    return 0;
}