#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;
}