#include <iostream>
#include <stdlib.h>

int main( void )
{
        const int nlines = 3;
        const int maxlen = 10000;
        char *lines[ nlines ];
        char line[ maxlen ];
        for ( int i = 0; i < nlines
                      && std::cin.getline( line, maxlen ); ++i ) {
                int len = std::cin.gcount();
                if ( ( lines[ i ] = new char[ len ] ) == NULL ) {
                        std::cerr << "Out of memory!\n";
                        exit( 1 );
                }
                strcpy( lines[ i ], line );
        }
        for ( int i = 0; i < nlines; ++i )
                std::cout << i << ":\t" << lines[ i ] << '\n';
        for ( int i = 0; i < nlines; ++i )
                delete [] lines[ i ];
}