#include <stdio.h>

main(int argc, char **argv)
{
    int i;
    for (i = 0; i < argc; i++){
	printf("%04d: %s\n", i, argv[i]);
    }
}