#include
#include
#include
using namespace std;
int main()
{
string line;
int number = 0;
while( getline( cin, line))
{
cout << setw(5) << ++number << ": "
<< line << endl;
}
return 0;
}