http://222.203.110.13/file/138/.avatar.jpg #define qdo 262 #define qre 294 #define qmi 330 #define qfa 349 #define qso 392 #define qla 440 #define qsi 494 #define do 523 #define re 578 #define mi 659 #define fa 698 #define so 784 #define la 880 #define si 988 #define do1 1046 #define re1 1175 #define mi1 1318 #define fa1 1480 #define so1 1568 #define la1 1760 #define si1 1976 #define sqdo 277 #define sqre 311 #define sqfa 370 #define sqso 415 #define sqla 466 #define sdo 554 #define sre 622 #define sfa 740 #define sso 831 #define sla 932 #define sdo1 1046 #define sre1 1245 #define sfa1 1480 #define sso1 1661 #define sla1 1865

int main(){
	freopen("network.in","r",stdin);
	freopen("network.out","w",stdout);
	int n;
	cin>>n;
	for(int i=1;i<=n;i++){
		string s,t;
		cin>>s>>t;
		if(c(t)){
			if(s=="Server"){
				if(mp[t]){
					cout<<"FAIL\n";
				}else{
					mp[t]=i;
					cout<<"OK\n";
				}
			}else{
				if(mp[t]){
					cout<<mp[t]<<endl;
				}else{
					cout<<"FAIL\n";
				}
			}
		}else{
			cout<<"ERR\n";
		}
	}
	return 0;
}