#include <iostream>
#include <string>
#include <fstream>
#include <sstream>

using namespace std;

void getIdFromFile (string filename, istream &is, ostream &os) 
{
	string name, n;
	int id(0);
	while(is >> n)
	{
		//ifstream ifs(filename);
		stringstream ifs("sclaus 12 jblack 779 jbanno 334");
		while(ifs >> name && ifs >> id && n != name)
		{
			id = 0;
		}
		if(id == 0)
			cout << "ERROR" << endl;
		else
			cout << "ID= " << id << endl;
		//return id;
	}
}
int main() {
	/*int id =*/ getIdFromFile("", cin, cout);
}