#include <iostream.h>

void main() 
{
	char	buffer[128];
	
	do {
		cin.getline(buffer,128);
		if(cin) {
			cout << buffer << endl;
			cout << buffer << endl;    
		}
	} while(cin);  
	
	cout << "OK, bye!" << endl;
}