void catch(){
	puts("FLAG_***");
}